Thu, 22 Feb 2024 16:31:58 +0100 | wenzelm | merged | changeset | files |
Thu, 22 Feb 2024 14:51:05 +0100 | wenzelm | tuned signature: fewer warnings in IntelliJ IDEA; | changeset | files |
Thu, 22 Feb 2024 14:17:40 +0100 | wenzelm | proper usage; | changeset | files |