*** empty log message ***

[splint.git] / src / DATE

diff --git a/src/DATE b/src/DATE
index d241c237b31f6e1e9815f59deec2a04f64298613..31dba3d27fcb943153f35383edf9a48face73825 100644 (file)
--- a/src/DATE
+++ b/src/DATE
@@ -1 +1 @@
-20 May 2000
+19 July 2001