beremiz

IDE: better permission checking when opening a project.

2022-05-23, Edouard Tisserant
ee665dca07fa
IDE: better permission checking when opening a project.
C extension