diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-09-06 18:32:47 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-09-06 18:32:47 +0200 |
commit | 93810faf4a9623e3f69468d72b7315d5616cae22 (patch) | |
tree | 667c4ea9489a51de7f871116be8a7626ea2d83a3 /tests/run/t7407b.flags | |
parent | a0e7adb070ee9c73c0cca081196198296cbd63ab (diff) | |
parent | 8221735c84c4e619b52e6bcbbbabe13590d21b03 (diff) | |
download | dotty-93810faf4a9623e3f69468d72b7315d5616cae22.tar.gz dotty-93810faf4a9623e3f69468d72b7315d5616cae22.tar.bz2 dotty-93810faf4a9623e3f69468d72b7315d5616cae22.zip |
Merge pull request #1496 from felixmulder/dottydoc-client-v0.1.0
Bump dottydoc version for nightly builds
Diffstat (limited to 'tests/run/t7407b.flags')
0 files changed, 0 insertions, 0 deletions