diff options
author | Martin Odersky <odersky@gmail.com> | 2015-08-04 10:46:35 -0700 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-08-04 10:46:35 -0700 |
commit | d5280358d12c43c3268653c95c7edf3dcc7d60bf (patch) | |
tree | eec7dcf0cd2ff8893639f43b21476b2792c8e85b /project | |
parent | 3377de5bfe302b030530de97d27207afb7d963d0 (diff) | |
download | dotty-d5280358d12c43c3268653c95c7edf3dcc7d60bf.tar.gz dotty-d5280358d12c43c3268653c95c7edf3dcc7d60bf.tar.bz2 dotty-d5280358d12c43c3268653c95c7edf3dcc7d60bf.zip |
Applied review comments
Added suggested changes by myself and @smarter.
Diffstat (limited to 'project')
0 files changed, 0 insertions, 0 deletions