diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-12-31 12:43:09 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-12-31 12:43:09 +0100 |
commit | c8e7036bc11a72e359a0954809af5b9cee341dfd (patch) | |
tree | 4346f8887e8e778aee2a1998e193071dc0573405 /editor/editor_export.cpp | |
parent | 5fa1905131bc20e8a4a939d0edf8370091c88a50 (diff) | |
parent | 54f70b6b506ee460e6ef2f986158fe5abe696ae6 (diff) |
Merge pull request #34707 from KoBeWi/omg
Fix argument type in set_follow_focus()
Diffstat (limited to 'editor/editor_export.cpp')
0 files changed, 0 insertions, 0 deletions