| 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 |