History log of /seL4-l4v-master/isabelle/Admin/rsyncd.conf
Revision Date Author Comments
# 57a87bfe 06-Oct-2005 haftmann <none@none>

changed sydney share
# 89901de7 27-Sep-2005 haftmann <none@none>

website preparation for Isabelle2005
# e1116e7a 09-Mar-2000 kleing <none@none>

rsync goes "official" (started at boot time)
# 54218c44 06-Mar-2000 kleing <none@none>

switched to mirroring with rsync server