diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-10-13 14:59:29 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-10-13 14:59:29 +0200 |
commit | dac5b931bcf8757070c8aa74571e52f3b4c6e5eb (patch) | |
tree | 99e7b71c0870aabe303710f2d9520ceb80f54ae7 /README.md | |
parent | a90a7845ef5fb44d842dc316de2c4fdc52946b41 (diff) | |
parent | 92ebb46afedaba26dff0f579b78c704e7ded4b96 (diff) | |
download | dotty-dac5b931bcf8757070c8aa74571e52f3b4c6e5eb.tar.gz dotty-dac5b931bcf8757070c8aa74571e52f3b4c6e5eb.tar.bz2 dotty-dac5b931bcf8757070c8aa74571e52f3b4c6e5eb.zip |
Merge pull request #1427 from dotty-staging/fix-i1274
fix #1274: test for dotty bootstrap based on tasty
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions