# HG changeset patch
# User kleing
# Date 1082103666 -7200
# Node ID 76b81ae4031f7d144940b8177e5a04c82a93382b
# Parent  efbee41e85c2f9bc938d5aa7e6e22abed9819e0c
fix cvs id

diff -r efbee41e85c2 -r 76b81ae4031f Admin/README.repos
--- a/Admin/README.repos	Fri Apr 16 10:20:34 2004 +0200
+++ b/Admin/README.repos	Fri Apr 16 10:21:06 2004 +0200
@@ -51,4 +51,4 @@
   $ISABELLE_HOME_USER is the directory "~/isabelle".
 
 
-$Id $
\ No newline at end of file
+$Id$