diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2017-02-20 13:58:07 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-02-20 13:58:07 +0100 |
commit | f76ffe97f9460cc04e159ce5b2c0b83d63fb940c (patch) | |
tree | b4f90d4ed0f411965339d66b9d5a1257dca15f16 /project/scripted.sbt | |
parent | 8e2c27154d72bdbe92d7bea9a607b90bf1b52c1c (diff) | |
parent | ae43a298144842861bd8532b88aec7178c16ccb3 (diff) | |
download | dotty-f76ffe97f9460cc04e159ce5b2c0b83d63fb940c.tar.gz dotty-f76ffe97f9460cc04e159ce5b2c0b83d63fb940c.tar.bz2 dotty-f76ffe97f9460cc04e159ce5b2c0b83d63fb940c.zip |
Merge pull request #1987 from dotty-staging/topic/remove-unused-flags
Remove unused flags
Diffstat (limited to 'project/scripted.sbt')
0 files changed, 0 insertions, 0 deletions