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