diff options
| author | odersky <odersky@gmail.com> | 2016-11-18 11:10:18 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-11-18 11:10:18 +0100 |
| commit | 601a286b1c1eb7f0bbea64609a7d07ed40f02118 (patch) | |
| tree | 246785d0e0b40cf1f958381cdcd71a5e932be6d4 /docs | |
| parent | dd0db48342b3ccc773373870f36348de846c66e4 (diff) | |
| parent | 9f8c81c382ad996693c0460e335bc8911d660442 (diff) | |
| download | dotty-601a286b1c1eb7f0bbea64609a7d07ed40f02118.tar.gz dotty-601a286b1c1eb7f0bbea64609a7d07ed40f02118.tar.bz2 dotty-601a286b1c1eb7f0bbea64609a7d07ed40f02118.zip | |
Merge pull request #1724 from dotty-staging/fix-i1648
Fix #1648: don't define companion object for java.lang.Object
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions