| Sat, 27 Mar 2021 20:37:49 +0100 | wenzelm | more robust; | changeset | files |
| Sat, 27 Mar 2021 20:24:04 +0100 | wenzelm | more convenient repository setup; | changeset | files |
| Sat, 27 Mar 2021 19:46:02 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 27 Mar 2021 19:44:36 +0100 | wenzelm | more robust invocation of hg; | changeset | files |
| Sat, 27 Mar 2021 19:26:34 +0100 | wenzelm | more robust: idempotent; | changeset | files |
| Sat, 27 Mar 2021 18:15:19 +0100 | wenzelm | more robust invocation of hg; | changeset | files |
| Sat, 27 Mar 2021 18:03:50 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 27 Mar 2021 18:01:41 +0100 | wenzelm | clarified output; | changeset | files |