refactoring of \lambda\delta version 1 in matita

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

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