diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-07-04 08:21:57 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-04 08:21:57 +0200 |
| commit | 5cc830892af0710614053d7622e8148fa2ef3963 (patch) | |
| tree | 1198293b07e56346d6b8eb2901731878d3fe03d4 /doc/Doxyfile | |
| parent | 41fdddb1f8132dcba8256a145de44da5df3155b2 (diff) | |
| parent | e3ab344af9839bbe1ffa690093acd9ea7ffde554 (diff) | |
Merge pull request #62681 from Jummit/keep-perspective-menu
Keep Perspective menu open after selecting an option
Diffstat (limited to 'doc/Doxyfile')
0 files changed, 0 insertions, 0 deletions