diff options
author | Dmitry Petrashko <dark@d-d.me> | 2017-01-11 17:07:02 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-01-11 17:07:02 +0100 |
commit | 8b44b6c1fb0f03a555834d189b98ef30091153fe (patch) | |
tree | a5d030608d8751bdcf583076ff081d70eb87adaa /tests/new | |
parent | e9165e46e24370e9e5dcccf2c49470ab00e30507 (diff) | |
parent | 157481b24e00c87ba3d44a28dd07c70c28001f0e (diff) | |
download | dotty-8b44b6c1fb0f03a555834d189b98ef30091153fe.tar.gz dotty-8b44b6c1fb0f03a555834d189b98ef30091153fe.tar.bz2 dotty-8b44b6c1fb0f03a555834d189b98ef30091153fe.zip |
Merge pull request #1690 from dotty-staging/bench
Fix benchmarks and add multiple mini benchmark tests
Diffstat (limited to 'tests/new')
0 files changed, 0 insertions, 0 deletions