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 /doc | |
| parent | e92777c1ee6603ea4b59f58aa3230d96c4d54c3f (diff) | |
| parent | ff604414a4730ba49409afca22e1c7aa44d0c338 (diff) | |
Merge pull request #19837 from willnationsdev/plugin-utilities
Add PluginConfigDialog.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions