fix dotty.tools.dotc.config.Properties
scaladoc
#858
Loading
dotty.tools.dotc.config.Properties
scaladoc
#858