Johannes Rieken b1ddc1ac5e add new setting editor.codeLens and deprecate the old editor.referenceInfos settings, #10238

2016-08-09 15:13:12 +02:00

..

typings

Save: Flush to disk after writing to file (fixes #9589)

2016-08-09 11:30:05 +02:00

vs

add new setting editor.codeLens and deprecate the old editor.referenceInfos settings, #10238

2016-08-09 15:13:12 +02:00

bootstrap-amd.js

…

bootstrap.js

…

buildfile.js

…

cli.js

…

main.js

…

paths.js

…

tsconfig.json

…