Mon, 23 May 2022 16:27:56 +0200IDE: better permission checking when opening a project.
Edouard Tisserant <edouard.tisserant@gmail.com> [Mon, 23 May 2022 16:27:56 +0200] rev 3475
IDE: better permission checking when opening a project.