diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-11-17 21:22:43 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-11-17 22:04:47 +0100 |
| commit | 5ccf5599dd02b377f8c29a9452edd4abf2f28f86 (patch) | |
| tree | 068828af6282a282a2c3e866093b56aa7f48fded /src/dotty | |
| parent | 44ccfe9a2867b9361994e8c529d0820b6e45985a (diff) | |
| download | dotty-5ccf5599dd02b377f8c29a9452edd4abf2f28f86.tar.gz dotty-5ccf5599dd02b377f8c29a9452edd4abf2f28f86.tar.bz2 dotty-5ccf5599dd02b377f8c29a9452edd4abf2f28f86.zip | |
Add one more passing filt to whitelist
Diffstat (limited to 'src/dotty')
0 files changed, 0 insertions, 0 deletions