Admin/rsyncd.conf
2005-09-27 haftmann 2005-09-27 website preparation for Isabelle2005
2000-03-09 kleing 2000-03-09 rsync goes "official" (started at boot time)
2000-03-06 kleing 2000-03-06 switched to mirroring with rsync server