diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-12-30 23:09:24 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-12-30 23:09:24 +0100 |
commit | 5fa1905131bc20e8a4a939d0edf8370091c88a50 (patch) | |
tree | 8dd51f7cf6b5962147c31e5fee1c494986fcd97f /editor/doc/doc_data.cpp | |
parent | 97ebde45d58bf54ee4cc8fbbe56097c4b5cffec8 (diff) | |
parent | 4c7d02dea1a601b89a6ba438c04b4764ba5e0360 (diff) |
Merge pull request #34702 from Zylann/fix_project_manager_opens_wrong_project
Fix wrong project opening in some situations
Diffstat (limited to 'editor/doc/doc_data.cpp')
0 files changed, 0 insertions, 0 deletions