| Tue, 11 Jul 2023 19:18:27 +0200 | wenzelm | suppress bad file, which does not work on regular Windows; | changeset | files |
| Tue, 11 Jul 2023 18:30:56 +0200 | wenzelm | revert ineffective b04ac8a017b2: etc/settings of polyml components needs to be changed as well; | changeset | files |
| Tue, 11 Jul 2023 17:07:10 +0200 | wenzelm | updated naproche-20230711 component for release; | changeset | files |