1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/Admin/rsyncd	Mon Mar 06 15:24:07 2000 +0100
     1.3 @@ -0,0 +1,9 @@
     1.4 +#!/bin/bash
     1.5 +#
     1.6 +# rsync server start script
     1.7 +#
     1.8 +# $Id$
     1.9 +#
    1.10 +
    1.11 +rsync --daemon --config=/usr/proj/isabelle/rsyncd.conf --port=8730
    1.12 +