diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2017-04-05 10:50:40 +0200 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2017-04-12 11:31:13 +0200 |
commit | 7dcfbd71b1c05b4bc5e8c7e1da94fd99600e740f (patch) | |
tree | 91e245afd6a979d2c2f9ddbca6935fbbea8cf25c /doc-tool/src/dotty/tools/dottydoc | |
parent | 2f1a542034ddbc6cccf321e068e5161d32839f07 (diff) | |
download | dotty-7dcfbd71b1c05b4bc5e8c7e1da94fd99600e740f.tar.gz dotty-7dcfbd71b1c05b4bc5e8c7e1da94fd99600e740f.tar.bz2 dotty-7dcfbd71b1c05b4bc5e8c7e1da94fd99600e740f.zip |
Rename filter shorthand to vulpix and update `drone.yml`
Diffstat (limited to 'doc-tool/src/dotty/tools/dottydoc')
0 files changed, 0 insertions, 0 deletions