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 /drivers/ogg/COPYING | |
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 'drivers/ogg/COPYING')
0 files changed, 0 insertions, 0 deletions