author | haftmann |
Tue, 27 Sep 2005 15:30:37 +0200 | |
changeset 17671 | e9e341bc7d42 |
parent 8391 | 683838ba11e0 |
child 17769 | 3a324f3b34f6 |
permissions | -rw-r--r-- |
# rsync server configuration uid = nobody gid = nobody use chroot = yes log file = /tmp/rsyncd.log read only = true [isabelle-website] path = /home/proj/isabelle/website comment = Isabelle website [isabelle-distribution] path = /home/proj/isabelle/website/dist comment = Isabelle distribution # Sydney legacy link [isabelle-dist] path = /home/html/isabelle/html-data/dist/ comment = Isabelle distribution area