diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-02-12 12:21:26 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-12 12:21:26 +0100 |
| commit | c95308e70f389a348c6f519170ca5b0c00f05a35 (patch) | |
| tree | bbf2ba7392774f4d837e98803f29d340f66662a6 /doc/classes | |
| parent | 13c50e8aa569bf5fa01a7dc052cde8cdf1886c99 (diff) | |
| parent | da45f1bf85444310c532b5dbf09659b406135b30 (diff) | |
Merge pull request #25819 from YeldhamDev/project_manager_cleanup
Minor cleanup in the Project Manager
Diffstat (limited to 'doc/classes')
0 files changed, 0 insertions, 0 deletions