diff -r 5f7b17941730 -r c26e515f1c29 src/Tools/README
--- a/src/Tools/README	Sat Feb 28 14:02:12 2009 +0100
+++ b/src/Tools/README	Sat Feb 28 14:09:58 2009 +0100
@@ -4,5 +4,3 @@
 This directory contains ML sources of generic tools.  Typically, they
 can be applied to various logics.
 
-
-$Id$