diff options
author | Dmitry Petrashko <dark@d-d.me> | 2015-12-02 18:49:06 +0100 |
---|---|---|
committer | Dmitry Petrashko <dark@d-d.me> | 2015-12-02 18:49:06 +0100 |
commit | 47da63278147634c75ecd3d0b5f3709a8de2a2db (patch) | |
tree | 008375ce63eddb111ec55f639cd896090959b846 /src/dotty/tools/dotc/Driver.scala | |
parent | 2a5a19314201c06ea0b12391b6794bf2aeffeb9c (diff) | |
parent | 11a415433d4f7d9e1abbb1eeacb44e2795f493ae (diff) | |
download | dotty-47da63278147634c75ecd3d0b5f3709a8de2a2db.tar.gz dotty-47da63278147634c75ecd3d0b5f3709a8de2a2db.tar.bz2 dotty-47da63278147634c75ecd3d0b5f3709a8de2a2db.zip |
Merge pull request #990 from lampepfl/DarkDimius-patch-4
Indicate regex used for filtering out benchmarks.
Diffstat (limited to 'src/dotty/tools/dotc/Driver.scala')
0 files changed, 0 insertions, 0 deletions