--- a/Admin/README Wed May 12 13:52:34 2010 +0200
+++ b/Admin/README Wed May 12 13:54:49 2010 +0200
@@ -1,5 +1,2 @@
-
-$Id$
-
This directory contains some administrative tools for the Isabelle
repository at TUM. They do not appear in proper distributions.