History log of /seL4-l4v-10.1.1/isabelle/Admin/rsyncd
Revision Date Author Comments
# 4ea075cc 12-May-2010 wenzelm <none@none>

removed obsolete CVS Ids;
# ef7e9000 07-Oct-2008 wenzelm <none@none>

updated to official version as of 07-Oct-2008;
# 9edda037 24-Mar-2008 wenzelm <none@none>

replaced obsolete /usr/proj by /home;
# 55c30705 11-Jan-2002 wenzelm <none@none>

#!/usr/bin/env bash;
# 54218c44 06-Mar-2000 kleing <none@none>

switched to mirroring with rsync server