aboutsummaryrefslogtreecommitdiff
path: root/doc-tool/src/dotty/tools/dottydoc/api/java/Dottydoc.java
Commit message (Expand)AuthorAgeFilesLines
* Remove faulty dottydoc APIFelix Mulder2017-01-311-48/+0
* Fix dotty docs gen, scrollFelix Mulder2017-01-311-16/+0
* Make dottydoc main available for Java instancesFelix Mulder2017-01-311-4/+5
* Move `dottydoc` -> `doc-tool`Felix Mulder2016-11-221-0/+63