fork for Matita version B

[helm.git] / matitaB / matita / scripts / crontab

diff --git a/matitaB/matita/scripts/crontab b/matitaB/matita/scripts/crontab
new file mode 100644 (file)
index 0000000..00e0e35
--- /dev/null
+++ b/matitaB/matita/scripts/crontab
@@ -0,0 +1,4 @@
+MAILTO=helm@cs.unibo.it
+HOME=/home/sacerdot/
+#SVNOPTIONS='-r {2006-01-09}'
+03 15 * * * sh /home/sacerdot/miohelm/matita/scripts/crontab.sh