| Mon, 29 Mar 2021 12:26:13 +0100 | paulson | removal of needless hypothesis in hd_rev and last_rev | changeset | files |
| Sun, 28 Mar 2021 12:21:37 +0200 | wenzelm | more robust; | changeset | files |
| Sun, 28 Mar 2021 12:10:14 +0200 | wenzelm | clarified message; | changeset | files |
| Sun, 28 Mar 2021 12:08:43 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 28 Mar 2021 12:07:46 +0200 | wenzelm | tuned message; | changeset | files |
| Sun, 28 Mar 2021 12:02:20 +0200 | wenzelm | proper export; | changeset | files |
| Sun, 28 Mar 2021 11:59:30 +0200 | wenzelm | more options: build is part of default setup; | changeset | files |
| Sun, 28 Mar 2021 11:45:00 +0200 | wenzelm | misc tuning and clarification; | changeset | files |
| Sun, 28 Mar 2021 11:39:53 +0200 | wenzelm | more options; | changeset | files |
| Sun, 28 Mar 2021 11:35:08 +0200 | wenzelm | proper Admin script, outside the settings environment; | changeset | files |
| Sun, 28 Mar 2021 11:33:30 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Sat, 27 Mar 2021 23:03:57 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 27 Mar 2021 22:59:12 +0100 | wenzelm | clarified; | changeset | files |
| Sat, 27 Mar 2021 22:48:59 +0100 | wenzelm | tuned message; | changeset | files |
| Sat, 27 Mar 2021 22:48:15 +0100 | wenzelm | tuned message; | changeset | files |
| Sat, 27 Mar 2021 22:36:45 +0100 | wenzelm | more accurate settings after update of current version; | changeset | files |
| Sat, 27 Mar 2021 22:26:13 +0100 | wenzelm | clarified messages; | changeset | files |
| Sat, 27 Mar 2021 22:19:56 +0100 | wenzelm | more robust: lest hg work out remote tip; | changeset | files |
| Sat, 27 Mar 2021 22:09:49 +0100 | wenzelm | more options; | changeset | files |
| Sat, 27 Mar 2021 21:27:27 +0100 | wenzelm | clarified treatment of multiple versions: last one counts; | changeset | files |
| Sat, 27 Mar 2021 20:53:11 +0100 | wenzelm | more robust; | changeset | files |
| Sat, 27 Mar 2021 20:39:14 +0100 | wenzelm | more robust: explicit repository root; | changeset | files |
| 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 |