Andre Weinand 958776e71d update node-debug

2017-03-07 23:49:44 +01:00

..

lib

build build/lib folder with latest

2017-03-06 16:32:23 +01:00

monaco

build build/lib folder with latest

2017-03-06 16:32:23 +01:00

npm

adding theming registry

2017-03-07 14:42:54 +01:00

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-07 23:49:44 +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

…