diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-07-14 12:16:26 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-14 12:16:26 +0200 |
| commit | 1bb66f04c8e08c1e2892c010d56c11b8d68069da (patch) | |
| tree | 8c550d6b917d23c17fa5a69b3d3aefaba4513c09 /doc/Makefile | |
| parent | 861c6c63b6d5863e84441230a337c3082e3f104d (diff) | |
| parent | 8a6305a6f2c4a3b770e6d9bff8be5a1f44940c4e (diff) | |
Merge pull request #40277 from hinlopen/refactor-project-settings
Extract remaining tabs from the ProjectSettingsEditor
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions