| 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 |