| Sat, 15 Apr 2023 13:51:38 +0200 | wenzelm | more operations; | changeset | files |
| Fri, 14 Apr 2023 22:55:01 +0200 | wenzelm | more direct hg_sync init via ssh (see also 721b3278c8e4); | changeset | files |
| Fri, 14 Apr 2023 22:19:28 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 14 Apr 2023 22:08:16 +0200 | wenzelm | more operations; | changeset | files |