Mon, 28 Feb 2022 12:51:27 +0100 | wenzelm | tuned message; | changeset | files |
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 |
Sat, 26 Feb 2022 22:00:22 +0100 | wenzelm | removed junk; | changeset | files |
Sat, 26 Feb 2022 21:59:12 +0100 | wenzelm | some updates to README.md; | changeset | files |
Sat, 26 Feb 2022 21:58:54 +0100 | wenzelm | clarified default settings; | changeset | files |
Sat, 26 Feb 2022 21:48:25 +0100 | wenzelm | tuned whitespace; | changeset | files |