Admin/rsyncd

removed Brouwer_Fixpoint from imports of Derivative

+
−#!/usr/bin/env bash
+
−#
+
−# rsync server start script
+
−
+
−/usr/bin/rsync --daemon --config=/home/proj/isabelle/rsyncd.conf
+
−