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.