diff options
| author | Dmitry Petrashko <dark@d-d.me> | 2017-04-03 10:58:39 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-04-03 10:58:39 +0200 |
| commit | 5021c768ccd123e148291bdda28920dea5e85630 (patch) | |
| tree | 0b74649247b705b58578c131b05eea2f6ca1bbd8 /scripts | |
| parent | 23709efcd3dc26459bcdd810c8b0eaa90f40f32d (diff) | |
| parent | 710e700b2285738bc0700ed548517efc1f368bb0 (diff) | |
| download | dotty-5021c768ccd123e148291bdda28920dea5e85630.tar.gz dotty-5021c768ccd123e148291bdda28920dea5e85630.tar.bz2 dotty-5021c768ccd123e148291bdda28920dea5e85630.zip | |
Merge pull request #2159 from dotty-staging/fix-hashcode
Make case class hashCode take class into account
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions