diff -r 2a4f0d0621f1 -r 8e4286e2bffe Admin/rsyncd --- a/Admin/rsyncd Mon Mar 24 15:59:16 2008 +0100 +++ b/Admin/rsyncd Mon Mar 24 15:59:56 2008 +0100 @@ -5,5 +5,5 @@ # $Id$ # -rsync --daemon --config=/usr/proj/isabelle/rsyncd.conf --port=8730 +rsync --daemon --config=/home/isabelle/rsyncd.conf --port=8730