| Thu, 15 Sep 2022 11:35:47 +0200 | wenzelm | proper order of platforms, to make it work uniformly on all plaform families; | changeset | files |
| Wed, 14 Sep 2022 23:58:26 +0200 | wenzelm | more portable; | changeset | files |
| Wed, 14 Sep 2022 23:09:02 +0200 | wenzelm | build both arm64-darwin and x86_64-darwin on Apple ARM hardware; | changeset | files |
| Wed, 14 Sep 2022 22:24:12 +0200 | wenzelm | unused; | changeset | files |
| Wed, 14 Sep 2022 22:24:06 +0200 | wenzelm | tuned message; | changeset | files |
| Wed, 14 Sep 2022 21:50:38 +0200 | wenzelm | more items; | changeset | files |
| Wed, 14 Sep 2022 21:14:32 +0200 | wenzelm | more robust: do not assume Bash syntax while testing for it; | changeset | files |