diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2017-02-10 17:51:54 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-02-10 17:51:54 +0100 |
commit | b5a9c8c4d1f832f2cc024f9cfe855d6e57bd35f9 (patch) | |
tree | 5ee8e7ab8f8e04e28bc8444d3f9b8df9c4241410 /.gitignore | |
parent | e9c494213f42ae9edd7dc265e847fe52482d9392 (diff) | |
parent | 40f40128f5a96aef6f0f6122b28724584417beb6 (diff) | |
download | dotty-b5a9c8c4d1f832f2cc024f9cfe855d6e57bd35f9.tar.gz dotty-b5a9c8c4d1f832f2cc024f9cfe855d6e57bd35f9.tar.bz2 dotty-b5a9c8c4d1f832f2cc024f9cfe855d6e57bd35f9.zip |
Merge pull request #1957 from dotty-staging/fix-dotc-dotr-scripts
Fix dotr/dotc scripts
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions