diff options
author | Martin Odersky <odersky@gmail.com> | 2015-05-20 10:10:44 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-05-21 17:41:16 +0200 |
commit | 1746ae11926e2f09ed50e62273669b6196e60547 (patch) | |
tree | ad2d13692f662c318bbd0fbf8b0fb9e493664d32 /README.md | |
parent | de7a5bb049fadaa2078107358e51de273a15d515 (diff) | |
download | dotty-1746ae11926e2f09ed50e62273669b6196e60547.tar.gz dotty-1746ae11926e2f09ed50e62273669b6196e60547.tar.bz2 dotty-1746ae11926e2f09ed50e62273669b6196e60547.zip |
Rename Reporter#echo -> println
More refular that way. Also, change some raw printlns in low-level
code to reporter.printlns in order to harden them against prints over prints.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions