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 |