summaryrefslogtreecommitdiff
path: root/editor/plugins
diff options
context:
space:
mode:
authorRĂ©mi Verschelde <rverschelde@gmail.com>2018-01-31 17:22:00 +0100
committerGitHub <noreply@github.com>2018-01-31 17:22:00 +0100
commitb06262539cbfe4afc441f9be74332c50f2938ad7 (patch)
tree166879c1e9a3c990d98340b667c641cfc62d2f05 /editor/plugins
parent20a52aa39db9a6e35738ee486848bd3dd28510cb (diff)
parent87be0bc1101d7cf52ca40c5b3b7fc87b785edfb1 (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