Upgrade IDE dependencies, release vscode-dotty 0.1.5#4828
Merged
smarter merged 2 commits intoscala:masterfrom Jul 25, 2018
Merged
Upgrade IDE dependencies, release vscode-dotty 0.1.5#4828smarter merged 2 commits intoscala:masterfrom
smarter merged 2 commits intoscala:masterfrom