diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-10-02 13:49:24 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-02 13:49:24 +0200 |
| commit | 12d80e9d834ebdbfa66a50236cb8a752ae710150 (patch) | |
| tree | 9c4d53e798aeff07d0f74258f451caed3728aabb /doc/classes/ProjectSettings.xml | |
| parent | 4e3db841af115d3b3a71fb12f1f45b0343ca4512 (diff) | |
| parent | 006021236a97bdc300f842864579899ee7fc8497 (diff) | |
Merge pull request #22613 from lupoDharkael/del-manager
Project manager: remove projects with delete key
Diffstat (limited to 'doc/classes/ProjectSettings.xml')
0 files changed, 0 insertions, 0 deletions