diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-01-31 17:22:00 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-31 17:22:00 +0100 |
| commit | b06262539cbfe4afc441f9be74332c50f2938ad7 (patch) | |
| tree | 166879c1e9a3c990d98340b667c641cfc62d2f05 /editor/plugins | |
| parent | 20a52aa39db9a6e35738ee486848bd3dd28510cb (diff) | |
| parent | 87be0bc1101d7cf52ca40c5b3b7fc87b785edfb1 (diff) | |
Merge pull request #16212 from vnen/code-enable-plugin
Add interface for plugins to enable/disable other plugins
Diffstat (limited to 'editor/plugins')
0 files changed, 0 insertions, 0 deletions