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