]> andersk Git - splint.git/blobdiff - README
Committing Evans's update of man page to fix problems reported by ESR.
[splint.git] / README
diff --git a/README b/README
index ccc2dfd5d5a3f0d1aa8a125381eaf75d0fea5027..af606830942f35d9226af9ffa4f42076eb144fe0 100644 (file)
--- a/README
+++ b/README
@@ -1,12 +1,12 @@
          Splint - annotation-assisted static program checker
                         http://www.splint.org
 
-                       Copyright (C) 1994-2002
+                       Copyright (C) 1994-2003
                        University of Virginia,
                 Massachusetts Institute of Technology
                 
-                           Version 3.0.1.7
-                            2 March 2002
+                           Version 3.0.1.7 
+                            31 March 2003
 
 Splint Documentation
 ====================
This page took 0.031575 seconds and 4 git commands to generate.