*** empty log message ***

[splint.git] / src / DATE

diff --git a/src/DATE b/src/DATE
index 97a26a85e8fbc72a9c5617aeb306970b605f94c8..012e014bffb516b6967a22a7109c58364503f58b 100644 (file)
--- a/src/DATE
+++ b/src/DATE
@@ -1 +1 @@
-20 June 2001
+12 July 2001