Edouard Tisserant <edouard.tisserant@gmail.com> [Wed, 22 Nov 2023 19:47:08 +0100] rev 3873
IDE: Disable not-yet-working extensions
etisserant <edouard.tisserant@gmail.com> [Fri, 27 Oct 2023 22:15:27 +0200] rev 3872
Fix typo in README.md
Edouard Tisserant <edouard.tisserant@gmail.com> [Thu, 19 Oct 2023 22:52:27 +0200] rev 3871
IDE: py3.10 related float/int fixes in debug plots