diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-08-16 09:20:17 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-08-16 09:20:17 +0200 |
| commit | d7e75a097820dbab69707ed80a03aa959edd2b93 (patch) | |
| tree | d9c0251063f9d3bd52bcdc96eb0c0c5f6c2e7535 /tools/doc | |
| parent | 91ba00b4163ceec83211b9445dd1a0900d71efe4 (diff) | |
| parent | a27d2e4c291975f4a5e9fabe89501584e33a3326 (diff) | |
Merge pull request #6163 from TheHX/pr-editor-plugin
Expose additional functions for the EditorPlugin class
Diffstat (limited to 'tools/doc')
0 files changed, 0 insertions, 0 deletions