Alexandru Dima fd5dd52340 Merge pull request #10515 from ramamurthynagaraj/master ... Added editor.fontWeight and terminal.integrated.fontWeight configuration		2016-08-16 16:23:20 +02:00
..
typings	Save: Flush to disk after writing to file (fixes #9589)	2016-08-09 11:30:05 +02:00
vs	Merge pull request #10515 from ramamurthynagaraj/master	2016-08-16 16:23:20 +02:00
bootstrap-amd.js
bootstrap.js	Merge branch 'master' into extension-viewlet	2016-06-21 14:13:35 +02:00
buildfile.js	Remove legacy JSON	2016-06-26 12:54:17 +02:00
cli.js
main.js	lint	2016-07-27 09:31:07 +02:00
paths.js
tsconfig.json	Cleanup merged settings and polish jsdoc	2016-06-23 13:43:12 +02:00