diff options
| author | odersky <odersky@gmail.com> | 2015-07-06 19:01:45 +0200 |
|---|---|---|
| committer | odersky <odersky@gmail.com> | 2015-07-06 19:01:45 +0200 |
| commit | b82313268b912c62f9ddc89fefd02be96f2de64c (patch) | |
| tree | a1f2b2de5751b169558c5a11532ce37bf33f24ad /tests/pending/run/t5733.check | |
| parent | 6561d4cadc2e1af354486c34817b86131ffbe1e7 (diff) | |
| parent | c7cc6d851b660c97e80cda806bf5366200c8836b (diff) | |
| download | dotty-b82313268b912c62f9ddc89fefd02be96f2de64c.tar.gz dotty-b82313268b912c62f9ddc89fefd02be96f2de64c.tar.bz2 dotty-b82313268b912c62f9ddc89fefd02be96f2de64c.zip | |
Merge pull request #708 from dotty-staging/add/check-reentrant
Check that dotty is reentrant
Diffstat (limited to 'tests/pending/run/t5733.check')
0 files changed, 0 insertions, 0 deletions