diff options
| author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-05-06 17:03:33 +0200 |
|---|---|---|
| committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-05-08 13:33:51 +0200 |
| commit | ff091be1075911d5979d7b34ebcec7153eb5486e (patch) | |
| tree | 8b24b9031253f45c39d848f0eeb0a69775107dbb /bench | |
| parent | 1838eb04314f30afd74d7ce1bce61ff08989786b (diff) | |
| download | dotty-ff091be1075911d5979d7b34ebcec7153eb5486e.tar.gz dotty-ff091be1075911d5979d7b34ebcec7153eb5486e.tar.bz2 dotty-ff091be1075911d5979d7b34ebcec7153eb5486e.zip | |
Workaround dotty deviation in for loop patterns.
Diffstat (limited to 'bench')
0 files changed, 0 insertions, 0 deletions