diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-04-27 18:05:15 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-04-27 18:07:33 +0200 |
| commit | d7c1c27b0765b33811326e3cf02dcd4aa12b6cd8 (patch) | |
| tree | 0dcca4fb37ba79d531567789bf3600997ade0684 /.gitignore | |
| parent | 3129c1c136d5fa8b1549ec940ea1856c135bfe85 (diff) | |
| download | dotty-d7c1c27b0765b33811326e3cf02dcd4aa12b6cd8.tar.gz dotty-d7c1c27b0765b33811326e3cf02dcd4aa12b6cd8.tar.bz2 dotty-d7c1c27b0765b33811326e3cf02dcd4aa12b6cd8.zip | |
Allow dependent method type for unapply.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions