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