diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2021-05-31 18:17:13 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-31 18:17:13 +0200 |
commit | 0ef18532de58d353d4e430df567892e111837174 (patch) | |
tree | 7258f00deae92ae4a2c15066fe58d748e0ad76be /editor/debugger | |
parent | ff648e2504c48d3e98d84a3dd81d6d1101c3e05f (diff) | |
parent | 00bcfaed85a512058a543a4bb030a1209de5b4fd (diff) |
Merge pull request #48517 from pycbouh/editor-better-profiles-dialog
Improve the layout and texts of the Editor Feature Profiles dialog
Diffstat (limited to 'editor/debugger')
0 files changed, 0 insertions, 0 deletions