vscode-dotty: proper version for auto-configured projects#5282
Merged
smarter merged 1 commit intoscala:masterfrom Oct 18, 2018
Merged
vscode-dotty: proper version for auto-configured projects#5282smarter merged 1 commit intoscala:masterfrom
smarter merged 1 commit intoscala:masterfrom