Wed, 22 Nov 2023 19:48:55 +0100 | Edouard Tisserant | IDE: Auto-select required libraries when adding extension | changeset | files |
Wed, 22 Nov 2023 19:47:08 +0100 | Edouard Tisserant | IDE: Disable not-yet-working extensions | changeset | files |
Fri, 27 Oct 2023 22:15:27 +0200 | etisserant | Fix typo in README.md | changeset | files |