diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2017-06-11 14:31:46 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-06-11 14:31:46 +0200 |
commit | d4e64e0e60ee9377bedb1c3324bd346abc129aae (patch) | |
tree | efc49bd1d14994b03ad9dfea431fc11f2a18d7fb /main | |
parent | bcc435094d0734174818cf3e55887a26ef111686 (diff) | |
parent | 9ecdf522bd95a3318ac75ff8f9e237b35b5beca3 (diff) |
Merge pull request #9121 from leezh/editor_import_plugin
Added EditorPlugin.remove_import_plugin()
Diffstat (limited to 'main')
0 files changed, 0 insertions, 0 deletions