Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
Mon, 17 May 2021 14:54:03 +0200 |
wenzelm |
more uniform use of Properties.Eq.unapply, with slightly changed semantics in boundary cases;
|
file |
diff |
annotate
|
Tue, 11 May 2021 16:30:24 +0200 |
wenzelm |
clarified platforms;
|
file |
diff |
annotate
|
Tue, 11 May 2021 13:06:36 +0200 |
wenzelm |
clarified platforms;
|
file |
diff |
annotate
|
Thu, 01 Oct 2020 16:31:22 +0200 |
wenzelm |
more systematic platform support, including arm64-linux;
|
file |
diff |
annotate
|
Wed, 30 Sep 2020 23:31:18 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Tue, 29 Sep 2020 20:00:59 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Tue, 29 Sep 2020 19:54:59 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 29 Sep 2020 19:49:25 +0200 |
wenzelm |
formal platform information, notably for ssh;
|
file |
diff |
annotate
|