diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2016-02-07 17:19:06 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2016-02-07 17:19:12 +0100 |
| commit | 1af65aff44c23947e58cfec9468f9c20b8763431 (patch) | |
| tree | c1df7bf58b4d6e9160676f0abb6c603115418133 /tools | |
| parent | b766e9c79b898c3f0c03d13b9e2648d5c72ceee0 (diff) | |
Fix badly formatted tags in XML
Also add parsing of [code] tags in RST converter
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions