Fri, 03 Jul 2020 17:11:26 +0200 | wenzelm | use less memory on old hardware; | changeset | files |
Fri, 03 Jul 2020 17:00:41 +0200 | wenzelm | clarified signature; | changeset | files |
Fri, 03 Jul 2020 16:48:57 +0200 | wenzelm | clarified log message (more uniform); | changeset | files |