diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2017-02-01 14:02:45 +0100 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2017-02-01 14:02:45 +0100 |
commit | dbbb7a3d9a668bbb8b62bec38f065f2444dacb91 (patch) | |
tree | 1b3a1e0301edd252f909f53f98dd2afff44cc4ee /doc-tool/src/dotty/tools/dottydoc/core | |
parent | e47840b7e80436dc9b5a371b2093fbceb3b27a02 (diff) | |
download | dotty-dbbb7a3d9a668bbb8b62bec38f065f2444dacb91.tar.gz dotty-dbbb7a3d9a668bbb8b62bec38f065f2444dacb91.tar.bz2 dotty-dbbb7a3d9a668bbb8b62bec38f065f2444dacb91.zip |
Refactor templates and pages to deal with `SourceFile`
This commit is the first step towards having reportable errors in the
template files
Diffstat (limited to 'doc-tool/src/dotty/tools/dottydoc/core')
0 files changed, 0 insertions, 0 deletions