| Thu, 15 Sep 2022 12:08:35 +0200 | wenzelm | tuned names; | changeset | files |
| 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 |