changed sydney share
authorhaftmann
Thu Oct 06 08:56:15 2005 +0200 (2005-10-06)
changeset 177693a324f3b34f6
parent 17768 72575258a561
child 17770 f13472d00645
changed sydney share
Admin/rsyncd.conf
     1.1 --- a/Admin/rsyncd.conf	Wed Oct 05 19:28:12 2005 +0200
     1.2 +++ b/Admin/rsyncd.conf	Thu Oct 06 08:56:15 2005 +0200
     1.3 @@ -16,5 +16,6 @@
     1.4  
     1.5  # Sydney legacy link
     1.6  [isabelle-dist]
     1.7 -    path = /home/html/isabelle/html-data/dist/
     1.8 -    comment = Isabelle distribution area
     1.9 +    path = /home/proj/isabelle/website
    1.10 +    comment = Isabelle website
    1.11 +