tuned comment;
authorwenzelm
Tue Mar 21 15:26:21 2000 +0100 (2000-03-21)
changeset 8545263a30b90c16
parent 8544 edaac961e181
child 8546 dc053bc2ea06
tuned comment;
Admin/rsync-isabelle
     1.1 --- a/Admin/rsync-isabelle	Tue Mar 21 15:23:33 2000 +0100
     1.2 +++ b/Admin/rsync-isabelle	Tue Mar 21 15:26:21 2000 +0100
     1.3 @@ -1,6 +1,6 @@
     1.4  #!/bin/sh
     1.5  #
     1.6 -# mirror script for isabelle distribution
     1.7 +# mirror script for Isabelle distribution
     1.8  #
     1.9  # $Id$
    1.10  #