diff options
| author | odersky <odersky@gmail.com> | 2016-01-16 11:41:34 +0100 |
|---|---|---|
| committer | odersky <odersky@gmail.com> | 2016-01-16 11:41:34 +0100 |
| commit | 2503291afd5bb4bf56dfda74ac1446fb8b388521 (patch) | |
| tree | 31f654cf5a2edee216c4cf79b17a63ede193f2ea /project | |
| parent | da661c8a509efaa1c0ff926b0907c32cd37708a5 (diff) | |
| parent | 87f60583f549a343290145ff07b0a99ae433862d (diff) | |
| download | dotty-2503291afd5bb4bf56dfda74ac1446fb8b388521.tar.gz dotty-2503291afd5bb4bf56dfda74ac1446fb8b388521.tar.bz2 dotty-2503291afd5bb4bf56dfda74ac1446fb8b388521.zip | |
Merge pull request #1029 from dotty-staging/fix/partest-output
partest: Print stack traces of swallowed exceptions
Diffstat (limited to 'project')
0 files changed, 0 insertions, 0 deletions