diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-06-22 07:49:37 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-06-22 07:49:37 +0200 |
| commit | 44c37e9b13c255ab0e002ef6c0ea794141da1a9f (patch) | |
| tree | ae3db92bd58fc1a0045da74edbddb441091c5945 /tools/editor/code_editor.h | |
| parent | 3edf66477a49696ae82074b4675aff818dda68fe (diff) | |
| parent | 7544cd6ce2d747b65a0ca704c1f14f6393071d1e (diff) | |
Merge pull request #5282 from Hodes/master
editor_node.cpp now takes care of removing plugin after deactivating it
Diffstat (limited to 'tools/editor/code_editor.h')
0 files changed, 0 insertions, 0 deletions