| changeset 13100 | ff00791319e2 |
| parent 12721 | 226fc0e2e7e3 |
| child 13567 | 7f5bf04095bd |
--- a/Admin/mirror-main Mon Apr 29 16:45:12 2002 +0200 +++ b/Admin/mirror-main Tue Apr 30 12:15:48 2002 +0200 @@ -20,4 +20,4 @@ esac rsync --rsh ssh --rsync-path /usr/local/dist/bin/rsync -va \ - $USER@sunbroy1.informatik.tu-muenchen.de:/usr/proj/isabelle-repository/www/. $DEST/. + $USER@sunbroy2.informatik.tu-muenchen.de:/usr/proj/isabelle-repository/www/. $DEST/.