diff options
author | Martin Odersky <odersky@gmail.com> | 2016-11-10 16:35:39 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-11-10 16:55:30 +0100 |
commit | fb59174be6193d7cb05bea6d375e34ec1cd52f46 (patch) | |
tree | ed15d3de773eb2052fcc02be24a26c104390739c /interfaces | |
parent | 28c2e04dd33b6389a44460f977a97b8691265994 (diff) | |
download | dotty-fb59174be6193d7cb05bea6d375e34ec1cd52f46.tar.gz dotty-fb59174be6193d7cb05bea6d375e34ec1cd52f46.tar.bz2 dotty-fb59174be6193d7cb05bea6d375e34ec1cd52f46.zip |
Don't allow redefinition of core classes
Fixes #1688.
Diffstat (limited to 'interfaces')
0 files changed, 0 insertions, 0 deletions