diff options
| author | odersky <odersky@gmail.com> | 2015-05-25 12:13:03 +0200 |
|---|---|---|
| committer | odersky <odersky@gmail.com> | 2015-05-25 12:13:03 +0200 |
| commit | b2634a85acbaad6125a675009db8dd73837e1f58 (patch) | |
| tree | abd0b54179b5439655519e0f08f83c731e66f32e /.gitattributes | |
| parent | afe910dbc4a430708066db51ae8c4b6e0d724985 (diff) | |
| parent | 78640ebad658ddd38e86a9d98c6bbcdd83708397 (diff) | |
| download | dotty-b2634a85acbaad6125a675009db8dd73837e1f58.tar.gz dotty-b2634a85acbaad6125a675009db8dd73837e1f58.tar.bz2 dotty-b2634a85acbaad6125a675009db8dd73837e1f58.zip | |
Merge pull request #585 from dotty-staging/fix/collection-related
Improvements to higher-kinded types
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions