Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
changed sydney share
authorhaftmann
Thu, 06 Oct 2005 08:56:15 +0200
changeset 17769 3a324f3b34f6
parent 17768 72575258a561
child 17770 f13472d00645
changed sydney share
Admin/rsyncd.conf file | annotate | diff | comparison | revisions 
--- 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
+
isabelle