Thu, 03 Mar 2022 12:20:27 +0100 | wenzelm | tuned signature; | changeset | files |
Thu, 03 Mar 2022 12:08:49 +0100 | wenzelm | misc tuning, based on suggestions by IntelliJ IDEA; | changeset | files |
Wed, 02 Mar 2022 22:33:49 +0100 | wenzelm | clarified modules; | changeset | files |