diff -r f2ebe943c686 -r 144d220c8ca0 user/Makefile
--- a/user/Makefile	Fri Nov 04 17:51:36 2005 +0000
+++ b/user/Makefile	Fri Nov 11 10:15:12 2005 +0000
@@ -2,8 +2,7 @@
 #
 #  M a k e f i l e
 #
-#  $LastChangedDate$
-#  $Author$
+#  $Id$
 #
 #----------------------------------------------------------------