| Fri, 25 Nov 2022 13:38:15 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 16 Sep 2022 15:07:33 +0200 |
wenzelm |
clarified default, following 8b695e59db3f;
|
file |
diff |
annotate
|
| Fri, 16 Sep 2022 15:05:50 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| 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
|
| Fri, 01 Apr 2022 23:19:12 +0200 |
wenzelm |
tuned formatting;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Thu, 31 Mar 2022 22:40:34 +0200 |
wenzelm |
tuned: eliminted do-while for the sake of scala3;
|
file |
diff |
annotate
|
| Wed, 15 Dec 2021 19:39:02 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Wed, 19 May 2021 10:41:28 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|