beremiz
Clone
Summary
Browse
Changes
Graph
IDE: fix exception when removing a file in Project Files manager.
wxPython4
2022-10-19, Edouard Tisserant
99b20dff00d5
IDE: fix exception when removing a file in Project Files manager.
(binary:image/png)
