diff options
| author | odersky <odersky@gmail.com> | 2017-01-12 16:18:20 +0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-01-12 16:18:20 +0700 |
| commit | 36237cbc7449079574b4171a85bc7dccf19e371d (patch) | |
| tree | 45bf3fd30f0ad343268f2dadba365cbb67f3c227 /bench/tests | |
| parent | ba7e12999dc645dbcba04cf365dfd4d621ee4662 (diff) | |
| parent | 783a80d0d8f726f7169022457152d4301779244f (diff) | |
| download | dotty-36237cbc7449079574b4171a85bc7dccf19e371d.tar.gz dotty-36237cbc7449079574b4171a85bc7dccf19e371d.tar.bz2 dotty-36237cbc7449079574b4171a85bc7dccf19e371d.zip | |
Merge pull request #1880 from dotty-staging/improve-whitelist-infrastructure
Improve whitelist infrastructure.
Diffstat (limited to 'bench/tests')
0 files changed, 0 insertions, 0 deletions