X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/146e25eb1ce61cf25ba20fd3db7b55fc6c74d3ad..7c080eade639d7a6be478159025ca125e2d3ee06:/LICENSE diff --git a/LICENSE b/LICENSE index c6b3ba1..581403c 100644 --- a/LICENSE +++ b/LICENSE @@ -19,8 +19,8 @@ The GNU General Public License is attached to this file and available from http://www.gnu.org/ or the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. -For information on lclint: lclint-request@cs.virginia.edu -To report a bug: lclint-bug@cs.virginia.edu +For information on Splint: splint@cs.virginia.edu +To report a bug: splint-bug@cs.virginia.edu ============================================================================== GNU GENERAL PUBLIC LICENSE