| Wed, 23 Jun 2021 17:39:43 +0200 | wenzelm | avoid legacy domain informatik.tu-muenchen.de; | changeset | files |
| Fri, 18 Jun 2021 15:03:12 +0200 | wenzelm | tuned --- following hints by IntelliJ; | changeset | files |
| Fri, 18 Jun 2021 14:35:48 +0200 | wenzelm | tuned signature; | changeset | files |