| Sun, 16 Oct 2016 09:31:03 +0200 | haftmann | de-orphanized declaration | changeset | files |
| Sat, 15 Oct 2016 23:07:47 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 15 Oct 2016 22:45:27 +0200 | wenzelm | discontinued somewhat pointless cronjob.options -- compile-time constants are sufficient; | changeset | files |
| Sat, 15 Oct 2016 22:24:04 +0200 | wenzelm | timeout as in former isatest-makeall; | changeset | files |
| Sat, 15 Oct 2016 21:59:35 +0200 | wenzelm | more robust quasi-unique name; | changeset | files |
| Sat, 15 Oct 2016 21:37:19 +0200 | wenzelm | clarified signature: more static types; | changeset | files |