1 files changed, 0 insertions, 4 deletions

diff --git a/doc/TODO b/doc/TODO
index e1249d768e..cf67529c52 100644
--- a/doc/TODO
+++ b/doc/TODO
@@ -1,7 +1,3 @@
-#
-#  $Id$
-#
-
 This is a collection of things which need to be done to the various 
 manuals.