| Tue, 21 Feb 2023 11:19:39 +0100 |
wenzelm |
proper test, following Platform.is_linux;
|
file |
diff |
annotate
|
| 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
|