diff options
author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2016-01-13 16:23:59 +0100 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2016-01-13 17:04:19 +0100 |
commit | c059815c58c2dc06d245ff791126e78d09b5b5a6 (patch) | |
tree | 2a24733039ce09dc039d08ae37cfc9023f3a7670 /src/strawman | |
parent | 66e73e022db9bc5309e2a22dbc4547e95e1c10cb (diff) | |
download | dotty-c059815c58c2dc06d245ff791126e78d09b5b5a6.tar.gz dotty-c059815c58c2dc06d245ff791126e78d09b5b5a6.tar.bz2 dotty-c059815c58c2dc06d245ff791126e78d09b5b5a6.zip |
Partest dotty non-bootstrapped.
Needs to go in before
https://github.com/scala/scala-jenkins-infra/pull/152
is deployed
Diffstat (limited to 'src/strawman')
0 files changed, 0 insertions, 0 deletions