1 files changed, 1 insertions, 1 deletions

diff --git a/Makefile b/Makefile
index 01772c0b..719511b1 100644
--- a/Makefile
+++ b/Makefile
@@ -6,7 +6,7 @@
 #         #       GNU Lesser General Public License Version 2.1       #
 #######################################################################
 
-# $Id$ 
+# $Id: Makefile 13184 2010-06-23 09:19:15Z notin $ 
 
 
 # Makefile for Coq