Admin/rsyncd
changeset 36859 51af1657263b
parent 28511 e79fad5c16a6
     1.1 --- a/Admin/rsyncd	Wed May 12 13:52:34 2010 +0200
     1.2 +++ b/Admin/rsyncd	Wed May 12 13:54:49 2010 +0200
     1.3 @@ -1,9 +1,6 @@
     1.4  #!/usr/bin/env bash
     1.5  #
     1.6  # rsync server start script
     1.7 -#
     1.8 -# $Id$
     1.9 -#
    1.10  
    1.11  /usr/bin/rsync --daemon --config=/home/proj/isabelle/rsyncd.conf
    1.12