diff options
| author | odersky <odersky@gmail.com> | 2016-08-26 18:39:41 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-08-26 18:39:41 +0300 |
| commit | 959ea0cad3a2ffe441b5e406d26cddbd6cc431ee (patch) | |
| tree | 7470c7a2f049cb2722d662a983389cbd91825611 /README.md | |
| parent | fb19d0bd248c01f29c9e217170e20f46d84e3028 (diff) | |
| parent | e61ff6f4cfb632b11b7e54e2904706d382634eda (diff) | |
| download | dotty-959ea0cad3a2ffe441b5e406d26cddbd6cc431ee.tar.gz dotty-959ea0cad3a2ffe441b5e406d26cddbd6cc431ee.tar.bz2 dotty-959ea0cad3a2ffe441b5e406d26cddbd6cc431ee.zip | |
Merge pull request #1461 from dotty-staging/fixes-gadts
Fixes of GADTs and test recategorization.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions