From: Enrico Tassi Date: Wed, 11 Jan 2006 14:12:15 +0000 (+0000) Subject: Added $SVNOPTION. X-Git-Tag: make_still_working~7849 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2b7403dcc161d1cbf6bacd62f0868d0bc67c0fda;p=helm.git Added $SVNOPTION. --- diff --git a/helm/matita/scripts/crontab b/helm/matita/scripts/crontab index 9ab94c4d7..4b4c1e80a 100644 --- a/helm/matita/scripts/crontab +++ b/helm/matita/scripts/crontab @@ -1,3 +1,4 @@ MAILTO=helm@cs.unibo.it HOME=/home/tassi/ +#SVNOPTIONS='-r {2006-01-09}' 10 5 * * * sh /home/tassi/helm/matita/scripts/crontab.sh