| Fri, 16 Sep 2022 15:03:08 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 16 Sep 2022 14:57:48 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Fri, 16 Sep 2022 14:26:42 +0200 | wenzelm | discontinued pointless SSH.Target: OpenSSH client can handle user@host directly; | file | diff | annotate |
| Tue, 13 Sep 2022 09:38:02 +0200 | wenzelm | clarified signature: separate unrelated modules; | file | diff | annotate |
| Sat, 10 Sep 2022 15:41:44 +0200 | wenzelm | proper comment: Phabricator remains on Ubuntu 20.04, which is still required as build environment for old Mercurial 3.9.2 with Python 2; | file | diff | annotate |
| Fri, 08 Jul 2022 20:24:05 +0200 | wenzelm | more robust Scala 3 indentation, for the sake of IntelliJ IDEA; | file | diff | annotate |