beremiz

IDE: better permission checking when opening a project.

2022-05-23, Edouard Tisserant
cf6d6e033c86
IDE: better permission checking when opening a project.
(binary:image/png)