diff options
author | Dmitry Petrashko <dark@d-d.me> | 2016-06-22 14:22:36 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-06-22 14:22:36 +0200 |
commit | af93e8821f7885819e04f3dfd6ab798e600d68cf (patch) | |
tree | 6be0e69402bf2513ca0f41e01bc8d6acbea48d67 /scripts/jobs | |
parent | 82a0bd3bdd47fd01765c2e3e8e6e33bf4e943ad1 (diff) | |
parent | a338ac76accb3149603b91f1dff1f6f53b11dcb2 (diff) | |
download | dotty-af93e8821f7885819e04f3dfd6ab798e600d68cf.tar.gz dotty-af93e8821f7885819e04f3dfd6ab798e600d68cf.tar.bz2 dotty-af93e8821f7885819e04f3dfd6ab798e600d68cf.zip |
Merge pull request #1324 from felixmulder/fix/dotc-version#1321
Multiple fixes for `bin/dotc` and `bin/dotr`
Diffstat (limited to 'scripts/jobs')
0 files changed, 0 insertions, 0 deletions