aboutsummaryrefslogtreecommitdiff
path: root/tools/doc/doc_dump.cpp (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Merge tools/docdump in tools/docRémi Verschelde2016-09-181-0/+312
Reduces clutter in the tools folder. (cherry picked from commit 6a4ba76836a8a0579a6164351e3fa2d14e29aa79)