Empty types not in Prop and empty types elimination handled correctly.

[helm.git] / matita / scripts / crontab

diff --git a/matita/scripts/crontab b/matita/scripts/crontab
index 4b4c1e80acfb072520aa2071e5a45345b746265f..c44a1e4ae24d123eecf0b4eab40e8538eb1359ee 100644 (file)
--- a/matita/scripts/crontab
+++ b/matita/scripts/crontab
@@ -1,4 +1,4 @@
-MAILTO=helm@cs.unibo.it
-HOME=/home/tassi/
+MAILTO=helm@mowgli.cs.unibo.it
+HOME=/home/sacerdot/
 #SVNOPTIONS='-r {2006-01-09}'
-10 5 * * * sh /home/tassi/helm/matita/scripts/crontab.sh
+00 02 * * * sh /home/sacerdot/miohelm/matita/scripts/crontab.sh