diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2015-11-23 07:57:20 +0100 |
|---|---|---|
| committer | Rémi Verschelde <remi@verschelde.fr> | 2015-11-23 07:57:20 +0100 |
| commit | 956282031cfcf346f45d5d4273e4fab1295091e1 (patch) | |
| tree | 973521519190f97493d00d51d5b4d40a159eafca /tools/editor/plugins | |
| parent | d3529da1e45c9dbbb10c7efbcd99d1ff525283f9 (diff) | |
| parent | 18dfb16e262578da84ed8e21529bf52c01e92a08 (diff) | |
Merge pull request #2878 from zvodd/master
Fix poorly formed documentation xml, text outside of tags
Diffstat (limited to 'tools/editor/plugins')
0 files changed, 0 insertions, 0 deletions