diff options
| author | odersky <odersky@gmail.com> | 2016-04-26 13:35:35 +0200 |
|---|---|---|
| committer | odersky <odersky@gmail.com> | 2016-04-26 13:35:35 +0200 |
| commit | ef2c479a752e3811c3a7f76bf355ddce955bb464 (patch) | |
| tree | d39a8f31cfd039e2c435308bc89f98dfc023cf05 /.gitignore | |
| parent | 02f1ec90f02d347da8d9cafff8782906699cac66 (diff) | |
| parent | 6b0ae0b16d7799da478771ff9368ea241013f43b (diff) | |
| download | dotty-ef2c479a752e3811c3a7f76bf355ddce955bb464.tar.gz dotty-ef2c479a752e3811c3a7f76bf355ddce955bb464.tar.bz2 dotty-ef2c479a752e3811c3a7f76bf355ddce955bb464.zip | |
Merge pull request #1231 from dotty-staging/fix-equality
Fixes related to equality strawman
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions