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 /.gitignore | |
| 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 '.gitignore')
0 files changed, 0 insertions, 0 deletions