diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-04-05 16:45:29 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-04-05 16:45:29 +0200 |
commit | a71d8b561d7815ad1733ce03be98697d748de70c (patch) | |
tree | 24e1c21792e9200b0149b676c564d58093ba9e2e /.editorconfig | |
parent | 769b2ba385ac83ce1eeee3df31572635cd539a79 (diff) | |
parent | 2e5b6b5bde1e788ebe4a49e142e391937df2f3b2 (diff) |
Merge pull request #26927 from qarmin/fix_perspective_button_hide
Fix perspective button hide when it actually should be disabled
Diffstat (limited to '.editorconfig')
0 files changed, 0 insertions, 0 deletions