diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-08-15 11:42:51 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-15 11:42:51 +0200 |
commit | 2f20836e522e1e86e6afe966c074a9d2bfa7ea14 (patch) | |
tree | 4e2ad980f48ef8724b3d254b32705b3b813274b7 /core/vector.h | |
parent | e92777c1ee6603ea4b59f58aa3230d96c4d54c3f (diff) | |
parent | ff604414a4730ba49409afca22e1c7aa44d0c338 (diff) |
Merge pull request #19837 from willnationsdev/plugin-utilities
Add PluginConfigDialog.
Diffstat (limited to 'core/vector.h')
0 files changed, 0 insertions, 0 deletions