From: drl7x Date: Tue, 10 Dec 2002 22:06:11 +0000 (+0000) Subject: This file is updated. And is no longer used to determine Splint's version number. X-Git-Tag: splint-3_1_0~79 X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/19249a0f3cce28874ac9122d0b915670ce1500e4 This file is updated. And is no longer used to determine Splint's version number. (I think we're using automake stuff now.) --- diff --git a/src/lastversion b/src/lastversion deleted file mode 100644 index 9bfa461..0000000 --- a/src/lastversion +++ /dev/null @@ -1,2 +0,0 @@ -3.0.0.18 -