*** empty log message ***

[splint.git] / src / DATE

diff --git a/src/DATE b/src/DATE
index 759b4edc81ebe53160daca21e6bf45151b1481f1..3c9d0e8e5a3141a03816ec8aaffa7494e28a8a4e 100644 (file)
--- a/src/DATE
+++ b/src/DATE
@@ -1 +1 @@
-20 August 2001
+21 August 2001