X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/c4884e35497a62ee1a08a0d6553fc42dbea35422..e32d75272dc7aa26b4d74cc183310346c3095258:/stamp-h1

diff --git a/stamp-h1 b/stamp-h1
index 3bd2b7e..4547fe1 100644
--- a/stamp-h1
+++ b/stamp-h1
@@ -1 +1 @@
-timestamp for config.h:config.hin
+timestamp for config.h