From 2b7403dcc161d1cbf6bacd62f0868d0bc67c0fda Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 11 Jan 2006 14:12:15 +0000 Subject: [PATCH] Added $SVNOPTION. --- helm/matita/scripts/crontab | 1 + 1 file changed, 1 insertion(+) 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 -- 2.39.2