aboutsummaryrefslogtreecommitdiff
path: root/doc-tool/src
Commit message (Expand)AuthorAgeFilesLines
* Fix #1794: handle TermRef result types in dottydocFelix Mulder2016-12-192-25/+42
* Move `dottydoc` -> `doc-tool`Felix Mulder2016-11-2229-0/+3103