]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/matita/scripts/crontab
- renamed ocaml/ to components/
[helm.git] / helm / matita / scripts / crontab
diff --git a/helm/matita/scripts/crontab b/helm/matita/scripts/crontab
deleted file mode 100644 (file)
index 4b4c1e8..0000000
+++ /dev/null
@@ -1,4 +0,0 @@
-MAILTO=helm@cs.unibo.it
-HOME=/home/tassi/
-#SVNOPTIONS='-r {2006-01-09}'
-10 5 * * * sh /home/tassi/helm/matita/scripts/crontab.sh