| Tue, 11 Oct 2016 23:09:36 +0200 | wenzelm | proper redirection; | changeset | files |
| Tue, 11 Oct 2016 22:30:48 +0200 | wenzelm | tuned output; | changeset | files |
| Tue, 11 Oct 2016 22:24:47 +0200 | wenzelm | tuned message -- more parsable; | changeset | files |
| Tue, 11 Oct 2016 22:24:14 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 11 Oct 2016 22:14:26 +0200 | wenzelm | identify managed repository clones; | changeset | files |
| Tue, 11 Oct 2016 21:48:56 +0200 | wenzelm | some timing and logging, similar to old isatest.log; | changeset | files |
| Tue, 11 Oct 2016 21:44:20 +0200 | wenzelm | enforce short name, notably on Mac OS X; | changeset | files |
| Tue, 11 Oct 2016 21:25:10 +0200 | wenzelm | tuned -- Date.Format.default used by toString; | changeset | files |