diff options
author | Martin Odersky <odersky@gmail.com> | 2016-12-13 14:56:00 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-12-17 18:34:27 +0100 |
commit | 71b900fde4cb5937c1cbb19da6e3397586e2467c (patch) | |
tree | f2c4680a24a0a89ccb7c10f1725a69dc91df983f /compiler/src/dotty/tools/dotc/config/JavaPlatform.scala | |
parent | cc4c3acf7d0aa9a2e612e228c17dc3f3294f0126 (diff) | |
download | dotty-71b900fde4cb5937c1cbb19da6e3397586e2467c.tar.gz dotty-71b900fde4cb5937c1cbb19da6e3397586e2467c.tar.bz2 dotty-71b900fde4cb5937c1cbb19da6e3397586e2467c.zip |
Ref copier that works for Idents and Selects
The Ref copier copies Idents and Selects, changing the name
of either.
Diffstat (limited to 'compiler/src/dotty/tools/dotc/config/JavaPlatform.scala')
0 files changed, 0 insertions, 0 deletions