diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2016-07-27 23:26:58 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-07-27 23:26:58 -0700 |
commit | 79e0fe02708a115140f53678499c423c773123c4 (patch) | |
tree | 4388cd4c3d03bd48058466cf9b4a41abf048ecf7 /scripts | |
parent | 48d6460865f4b83e6df42551ce55319805ad7342 (diff) | |
parent | 04e6d5e5ad39d046a977de1bfd4563287e5b0f41 (diff) | |
download | dotty-79e0fe02708a115140f53678499c423c773123c4.tar.gz dotty-79e0fe02708a115140f53678499c423c773123c4.tar.bz2 dotty-79e0fe02708a115140f53678499c423c773123c4.zip |
Merge pull request #1289 from dotty-staging/fix/partest-separate
partest: Enable separate compilation
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions