# HG changeset patch
# User kleing
# Date 1279016601 -3600
# Node ID 868ceaa6b039245bcd73a7ddb7582f45e1925f12
# Parent  fc0c89c7c2cbf0f97a0d79f226516437f2ba9856# Parent  b2f84bb86c73156eed3c46c7ea8939d29ca0e292
merged

diff -r b2f84bb86c73 -r 868ceaa6b039 Admin/isatest/crontab.macbroy28
--- a/Admin/isatest/crontab.macbroy28	Tue Jul 13 12:20:23 2010 +0200
+++ b/Admin/isatest/crontab.macbroy28	Tue Jul 13 11:23:21 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
-