diff options
author | Martin Odersky <odersky@gmail.com> | 2016-04-16 13:55:34 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-04-16 13:55:34 +0200 |
commit | 997afcbc9d8598496bcf6a4d1f0bed11c757243a (patch) | |
tree | 98a78c5a24f8b5efe072e466c203bce28ceaacce /tests/run/colltest5 | |
parent | b3f81fdcdca27a6fe647bce367ef221c917ea7b5 (diff) | |
download | dotty-997afcbc9d8598496bcf6a4d1f0bed11c757243a.tar.gz dotty-997afcbc9d8598496bcf6a4d1f0bed11c757243a.tar.bz2 dotty-997afcbc9d8598496bcf6a4d1f0bed11c757243a.zip |
Strawman polishing
Diffstat (limited to 'tests/run/colltest5')
0 files changed, 0 insertions, 0 deletions