diff --git a/doc/todo/explorer/todo b/doc/todo/explorer/todo
index d869738d97..966460b533 100644
--- a/doc/todo/explorer/todo
+++ b/doc/todo/explorer/todo
@@ -1,3 +1,4 @@
+$Id: todo,v 1.8 2000/09/06 21:57:03 explorer Exp $
 
 Document {min,max}-{refresh,retry}-time