Andre Weinand 4974adc5cf update node-debug		2017-03-02 00:22:50 +01:00
..
lib	Fix gulp watch	2017-03-01 10:01:48 +01:00
monaco	monaco-editor-core: 0.8.2	2017-03-01 13:52:52 +01:00
npm
win32	Merge pull request #17710 from mlewand/winShellHotkey	2017-02-16 08:47:38 +01:00
gulpfile.editor.js	Do not inline large SVGs (Fixes Microsoft/monaco-editor#336)	2017-01-26 14:17:57 +01:00
gulpfile.extensions.js
gulpfile.hygiene.js	Adapt to tslint4	2017-01-13 10:05:56 +01:00
gulpfile.js
gulpfile.mixin.js	fix mixin	2017-02-27 14:57:23 +01:00
gulpfile.test.js
gulpfile.vscode.js	update node-debug	2017-03-02 00:22:50 +01:00
gulpfile.vscode.linux.js	Copy rpm to location expected by distro	2017-02-21 10:11:02 -08:00
gulpfile.vscode.win32.js	Fixed #15939 - Added a dedicated property for value used in Windows shell, allowing to provide a custom hotkey.	2017-02-07 20:33:03 +01:00
tsconfig.json