From 00d1ab52c330d32f7c43f8ccbbe5443c8ef06d84 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 3 Oct 2006 11:59:30 +0000 Subject: [PATCH] Crontab updated --- matita/scripts/crontab | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/matita/scripts/crontab b/matita/scripts/crontab index 4b4c1e80a..e500edb04 100644 --- a/matita/scripts/crontab +++ b/matita/scripts/crontab @@ -1,4 +1,4 @@ -MAILTO=helm@cs.unibo.it +MAILTO=helm@mowgli.cs.unibo.it HOME=/home/tassi/ #SVNOPTIONS='-r {2006-01-09}' -10 5 * * * sh /home/tassi/helm/matita/scripts/crontab.sh +00 02 * * * sh /home/tassi/helm/software/matita/scripts/crontab.sh -- 2.39.2