Only start the Dotty VSCode extension if .dotty-ide.json exists#2777

Merged

felixmulder merged 1 commit intoscala:masterfrom

dotty-staging:ide-activation

Jun 19, 2017

Commits on Jun 17, 2017

Only start the Dotty VSCode extension if .dotty-ide.json exists
smarter
committed