| Mon, 28 Feb 2022 13:10:22 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 28 Feb 2022 13:02:40 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 28 Feb 2022 12:56:13 +0100 | wenzelm | tuned message; | changeset | files |
| Mon, 28 Feb 2022 12:53:17 +0100 | wenzelm | disable extension updates; | changeset | files |
| 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 |