diff options
| author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-10-22 18:20:28 +0200 |
|---|---|---|
| committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-10-23 10:41:29 +0200 |
| commit | 45a9074c5184be6cc715ab4f0872ea834c5908d7 (patch) | |
| tree | b940c0c717f67a5caee31ea50f50fc1d4b156a77 /scripts | |
| parent | acd7b9d31cd0a2fbc285921bdc5a7bdc9c1d2872 (diff) | |
| download | dotty-45a9074c5184be6cc715ab4f0872ea834c5908d7.tar.gz dotty-45a9074c5184be6cc715ab4f0872ea834c5908d7.tar.bz2 dotty-45a9074c5184be6cc715ab4f0872ea834c5908d7.zip | |
Run partest under bootstrapped dotty.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions