# HG changeset patch
# User wenzelm
# Date 953648781 -3600
# Node ID 263a30b90c164cd353d761fef3da42cfa7922224
# Parent  edaac961e18146bb83dae6b9f86079f016679272
tuned comment;

diff -r edaac961e181 -r 263a30b90c16 Admin/rsync-isabelle
--- a/Admin/rsync-isabelle	Tue Mar 21 15:23:33 2000 +0100
+++ b/Admin/rsync-isabelle	Tue Mar 21 15:26:21 2000 +0100
@@ -1,6 +1,6 @@
 #!/bin/sh
 #
-# mirror script for isabelle distribution
+# mirror script for Isabelle distribution
 #
 # $Id$
 #