--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/rsyncd.conf	Mon Mar 06 15:24:07 2000 +0100
@@ -0,0 +1,16 @@
+#
+# rsync server configuration
+#
+# $Id$
+#
+
+uid = nobody 
+gid = nobody 
+use chroot = no 
+log file = /usr/proj/isabelle/rsyncd.log
+read only = true
+
+[isabelle-dist]
+        path = /home/html/isabelle/html-data/dist/
+        comment = Isabelle distribution area
+