diff --git a/TODO b/TODO
index d37a50b01..ef5914fa2 100644
--- a/TODO
+++ b/TODO
@@ -1,5 +1,7 @@
 -*- indented-text -*-
 
+$Id$
+
 - admin
 
 - appl