| Mon, 28 Feb 2022 12:41:48 +0100 | wenzelm | disable check for updates: support just one static version; | changeset | files |
| Sun, 27 Feb 2022 20:00:23 +0100 | wenzelm | misc tuning based on comments by Heiko Eißfeldt; | changeset | files |
| Sun, 27 Feb 2022 18:58:50 +0100 | wenzelm | misc tuning based on comments by Heiko Eißfeldt; | changeset | files |