Admin/mirror-dist
2002-09-18 kleing comments + usage
2002-01-11 wenzelm #!/usr/bin/env bash;
2000-11-28 wenzelm tuned;
2000-03-09 wenzelm renamed to rsync-isabelle;
2000-03-09 wenzelm tuned;
2000-03-09 kleing made rsync "official"
2000-03-06 wenzelm rsyncd setup;
2000-03-06 kleing switched to mirroring with rsync server
2000-03-01 wenzelm test setup;
2000-03-01 wenzelm proper setup;
2000-02-09 wenzelm mirror dist page;
less more (0) tip