1 files changed, 1 insertions, 1 deletions
diff --git a/dist.man b/dist.man
index bd6ba49..ebb8ccb 100644
--- a/dist.man
+++ b/dist.man
@@ -1,4 +1,4 @@
-''' $Id$
+''' $Id: dist.man 3 2006-08-25 21:39:07Z rmanfredi $
 '''
 '''  Copyright (c) 1991-1997, 2004-2006, Raphael Manfredi
 '''