# HG changeset patch
# User kleing
# Date 1279016482 -3600
# Node ID fc0c89c7c2cbf0f97a0d79f226516437f2ba9856
# Parent  30496efac2b9fd5a637d6dade710918cc486e6e6
new crontab

diff -r 30496efac2b9 -r fc0c89c7c2cb Admin/isatest/crontab.macbroy28
--- a/Admin/isatest/crontab.macbroy28	Tue Jul 13 11:17:13 2010 +0100
+++ b/Admin/isatest/crontab.macbroy28	Tue Jul 13 11:21:22 2010 +0100
@@ -1,5 +1,6 @@
-17 10 * * 1-6                $HOME/afp/devel/admin/regression -
-32 12 * * 0                  $HOME/afp/release/admin/regression Isabelle2009-2
+# now on macbroy2:
+#17 10 * * 1-6                $HOME/afp/devel/admin/regression -
+#32 12 * * 0                  $HOME/afp/release/admin/regression Isabelle2009-2
 
 03 00 * * *                  $HOME/bin/checkout-admin
 17 00 * * *                  $HOME/bin/isatest-makedist
@@ -9,4 +10,3 @@
 04 23 31 1,3,5,7,8,10,12 *   $HOME/bin/logmove
 04 23 30 4,6,9,11 *          $HOME/bin/logmove
 04 23 28 2 *                 $HOME/bin/logmove
-