diff options
author | Martin Odersky <odersky@gmail.com> | 2016-10-31 15:53:15 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-10-31 15:53:15 +0100 |
commit | d694f15a028cf14ea0cf210d3113c7b1d6af54e7 (patch) | |
tree | 04459bb65cbb8883fe1bf090ffe75667a7f31e7b /README.md | |
parent | 8b10844da492292d1fd70bf94f639fe70f88fcd2 (diff) | |
download | dotty-d694f15a028cf14ea0cf210d3113c7b1d6af54e7.tar.gz dotty-d694f15a028cf14ea0cf210d3113c7b1d6af54e7.tar.bz2 dotty-d694f15a028cf14ea0cf210d3113c7b1d6af54e7.zip |
Address review comment
Other comments had already been addressed in previous commits.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions