Admin/isatest/crontab.macbroy27
changeset 48148 84395a03abbb
parent 48147 a29f3f44e198
--- a/Admin/isatest/crontab.macbroy27	Tue Jun 26 15:55:02 2012 +0200
+++ b/Admin/isatest/crontab.macbroy27	Tue Jun 26 15:58:22 2012 +0200
@@ -1,7 +1,3 @@
-# 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
 01 08 * * *                  $HOME/bin/isatest-check