Skip to content

Rebuild dotc if new *.scala files are found in dotty/src#615

Merged
DarkDimius merged 2 commits intoscala:masterfrom
dotty-staging:dotc-improve
May 27, 2015