dotc settings: String options after settings with colon shouldn't be ignored#1180

Merged

DarkDimius merged 1 commit intoscala:masterfrom

niktrop:dotc-settings-format

Mar 22, 2016

Commits on Mar 18, 2016

String options with choices should be followed by colon and argument without whitespace
niktrop
committed