| Wed, 22 Nov 2023 09:34:32 +0100 | Edouard Tisserant | Runtime web settings: fix punctuation and update CSS again | changeset | files |
| Mon, 20 Nov 2023 11:52:27 +0100 | Edouard Tisserant | Update default CSS for Runtime WebSettings. | changeset | files |
| Mon, 20 Nov 2023 11:51:34 +0100 | Edouard Tisserant | Runtime WebSetings for extensions are now served on individual URLs to prevent cluttering. | changeset | files |
| Thu, 09 Nov 2023 11:20:39 +0100 | Edouard Tisserant | Runtime web settings: allow customization of version string by extensions | changeset | files |