diff options
| author | Max Hilbrunner <mhilbrunner@users.noreply.github.com> | 2018-09-21 14:58:27 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-21 14:58:27 +0200 |
| commit | 0279985a70ebc2d69aa3672238a8813bdb5db26c (patch) | |
| tree | c2a7ad0c0b25a19bcb5f8627fa3099eaa6cef1ef /core | |
| parent | 94403af7ad9d853227fac72241953c4a0c2a4aa1 (diff) | |
| parent | a0efe25c9e74f3dc8af75e5bec2e4e2f33253dd9 (diff) | |
Merge pull request #22218 from char0xff/doc_editorpluginsinterface
Improve EditorPlugin.xml and EditorInterface.xml
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions