# HG changeset patch
# User haftmann
# Date 1128581775 -7200
# Node ID 3a324f3b34f675c41e8f474118a4226d01f72054
# Parent  72575258a5612934a3c63fbad09843c5472bee02
changed sydney share

diff -r 72575258a561 -r 3a324f3b34f6 Admin/rsyncd.conf
--- a/Admin/rsyncd.conf	Wed Oct 05 19:28:12 2005 +0200
+++ b/Admin/rsyncd.conf	Thu Oct 06 08:56:15 2005 +0200
@@ -16,5 +16,6 @@
 
 # Sydney legacy link
 [isabelle-dist]
-    path = /home/html/isabelle/html-data/dist/
-    comment = Isabelle distribution area
+    path = /home/proj/isabelle/website
+    comment = Isabelle website
+