Wed, 22 Nov 2023 19:48:55 +0100IDE: Auto-select required libraries when adding extension
Edouard Tisserant <edouard.tisserant@gmail.com> [Wed, 22 Nov 2023 19:48:55 +0100] rev 3874
IDE: Auto-select required libraries when adding extension