1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 01f952aa..f16a5f88 100755
--- a/configure
+++ b/configure
@@ -1,6 +1,6 @@
 #! /bin/sh
 
-# From configure.in FML: configure.in
+# From configure.in Revision: 1.4 
 
 # Guess values for system-dependent variables and create Makefiles.
 # Generated automatically using autoconf version 2.13