diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-05-06 23:42:52 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2017-05-06 23:43:02 +0200 |
| commit | 5d10b8fabdc9acc8b5296f1805c12648d4c5df4c (patch) | |
| tree | c897c8d58d0ddbd009a1ebbbd123550ad885b1cb /doc/tools/doc_status.py | |
| parent | 091b30d4cb9794e7b0954ea3b45c6e0126a4264e (diff) | |
| download | redot-engine-5d10b8fabdc9acc8b5296f1805c12648d4c5df4c.tar.gz | |
Doc: Drop unmainted converters for html, textile, dokuwiki
Diffstat (limited to 'doc/tools/doc_status.py')
| -rw-r--r--[-rwxr-xr-x] | doc/tools/doc_status.py | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/tools/doc_status.py b/doc/tools/doc_status.py index 1386e91ce1..1386e91ce1 100755..100644 --- a/doc/tools/doc_status.py +++ b/doc/tools/doc_status.py |