summaryrefslogtreecommitdiff
path: root/tools/doc/doc_dump.h
AgeCommit message (Collapse)Author
2016-09-05Merge tools/docdump in tools/docRémi Verschelde
Reduces clutter in the tools folder.