Edouard Tisserant <edouard.tisserant@gmail.com> [Wed, 19 Oct 2022 22:04:39 +0200] rev 3636
IDE: fix exception when removing a file in Project Files manager.
Edouard Tisserant <edouard.tisserant@gmail.com> [Wed, 19 Oct 2022 20:53:01 +0200] rev 3635
Update README.md