diff options
| author | Guillaume Martres <smarter@ubuntu.com> | 2017-03-11 16:18:38 +0100 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2017-03-20 15:05:20 +0100 |
| commit | b2af166bce00b9712f554b588527ca0c4f7544ec (patch) | |
| tree | be522b52e6bc4da3db7e91a06db357d52788db86 /doc-tool | |
| parent | 8716fac3e392e2968df4f681474b2ee2964c834f (diff) | |
| download | dotty-b2af166bce00b9712f554b588527ca0c4f7544ec.tar.gz dotty-b2af166bce00b9712f554b588527ca0c4f7544ec.tar.bz2 dotty-b2af166bce00b9712f554b588527ca0c4f7544ec.zip | |
Super Bootstrap: Make dottydoc part of the bootstrap
This wasn't done before because dotty could not compile dottydoc, this
is now fixed.
Diffstat (limited to 'doc-tool')
0 files changed, 0 insertions, 0 deletions