diff options
author | Andrea Catania <info@andreacatania.com> | 2018-05-08 00:59:22 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-08 00:59:22 +0200 |
commit | 6c4916ddf56e999e4dd3d85a2890cfa610d20ba6 (patch) | |
tree | 1b86f7880c871faee83a6c9d55f1177b25a2a1cc /editor/editor_plugin.cpp | |
parent | 633bbdb2318a9776b651264ea6146bd805a16fb8 (diff) |
Removed pointer deletion during editor closing
Diffstat (limited to 'editor/editor_plugin.cpp')
0 files changed, 0 insertions, 0 deletions