diff options
author | George Marques <george@gmarqu.es> | 2018-01-30 20:11:07 -0200 |
---|---|---|
committer | George Marques <george@gmarqu.es> | 2018-01-30 20:25:20 -0200 |
commit | 87be0bc1101d7cf52ca40c5b3b7fc87b785edfb1 (patch) | |
tree | 166879c1e9a3c990d98340b667c641cfc62d2f05 /editor/dependency_editor.h | |
parent | 20a52aa39db9a6e35738ee486848bd3dd28510cb (diff) |
Add interface for plugins to enable/disable other plugins
Diffstat (limited to 'editor/dependency_editor.h')
0 files changed, 0 insertions, 0 deletions