# HG changeset patch
# User wenzelm
# Date 1345195437 -7200
# Node ID 574042d14fd98aa45ff66e889b7ca29f5e6a419c
# Parent  94bb87ef712753ae0980f154a9b0ae01d81ab059
tuned;

diff -r 94bb87ef7127 -r 574042d14fd9 Admin/README
--- a/Admin/README	Fri Aug 17 11:20:18 2012 +0200
+++ b/Admin/README	Fri Aug 17 11:23:57 2012 +0200
@@ -1,2 +1,2 @@
-This directory contains some administrative tools for the Isabelle
-repository at TUM.  They do not appear in proper distributions.
+This directory contains some administrative tools for clones of the
+Isabelle repository.  They do not appear in proper distributions.