diff options
author | Dmitry Petrashko <dark@d-d.me> | 2016-03-22 15:42:17 +0100 |
---|---|---|
committer | Dmitry Petrashko <dark@d-d.me> | 2016-03-22 15:42:17 +0100 |
commit | 3e43c7f989c48c8e78eb6c7b5ae9bcb301a0c07d (patch) | |
tree | 8328447c3e78f13d206fa3047df6966d08163003 /test | |
parent | 552a56ae8573f1c08175b3211afa7e414bee681b (diff) | |
parent | 5ff8649b1bf36c1fcd55ba2ec71c93c4c587af81 (diff) | |
download | dotty-3e43c7f989c48c8e78eb6c7b5ae9bcb301a0c07d.tar.gz dotty-3e43c7f989c48c8e78eb6c7b5ae9bcb301a0c07d.tar.bz2 dotty-3e43c7f989c48c8e78eb6c7b5ae9bcb301a0c07d.zip |
Merge pull request #1180 from niktrop/dotc-settings-format
dotc settings: String options after settings with colon shouldn't be ignored
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions