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