| Sat, 31 Oct 2020 21:02:45 +0100 | wenzelm | tuned message; | changeset | files |
| Sat, 31 Oct 2020 11:59:00 +0100 | wenzelm | clarified generated settings; | changeset | files |
| Sat, 31 Oct 2020 11:50:09 +0100 | wenzelm | proper packages for mercurial_setup; | changeset | files |