branch for universe

[helm.git] / matita / scripts / crontab

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