diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-05-08 11:00:41 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-08 11:00:41 +0200 |
commit | e854a71fac776cf49a0d65468e8130401eff3c6b (patch) | |
tree | 81f7300e1478d8123720aa216a221cbacd74d2ba /editor/property_editor.cpp | |
parent | de9683b6059ed709441f28c42757de311cb409bb (diff) | |
parent | 6c4916ddf56e999e4dd3d85a2890cfa610d20ba6 (diff) |
Merge pull request #18693 from AndreaCatania/patch-1
Fixed editor crash during editor closing
Diffstat (limited to 'editor/property_editor.cpp')
0 files changed, 0 insertions, 0 deletions