diff options
| author | odersky <odersky@gmail.com> | 2014-12-18 16:34:57 +0100 |
|---|---|---|
| committer | odersky <odersky@gmail.com> | 2014-12-18 16:34:57 +0100 |
| commit | 83c3f7a64899011fa1260bc699ca06728173bc50 (patch) | |
| tree | b5ce591a0f55709a83bd765dc156f7bcb5027020 /.gitignore | |
| parent | e0bf1758ac32d69cf97d28f449cc0400755e3914 (diff) | |
| parent | 341f3370310251471903314bb5a75a4176f8afc7 (diff) | |
| download | dotty-83c3f7a64899011fa1260bc699ca06728173bc50.tar.gz dotty-83c3f7a64899011fa1260bc699ca06728173bc50.tar.bz2 dotty-83c3f7a64899011fa1260bc699ca06728173bc50.zip | |
Merge pull request #307 from smarter/simplify/TypeAlias-unapply
Simplify TypeAlias#unapply
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions