1 files changed, 0 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 3011e7d00..f1f04e77d 100644
--- a/Makefile
+++ b/Makefile
@@ -6,8 +6,6 @@
 #         #       GNU Lesser General Public License Version 2.1       #
 #######################################################################
 
-# $Id$ 
-
 
 # Makefile for Coq
 #