Andre Weinand 53e48bb0a1 node-debug@1.12.0		2017-04-04 18:30:46 +02:00
..
lib	💚 cmon build machine	2017-03-29 11:55:32 +02:00
monaco	[theme] introduce IStandaloneThemeService	2017-03-21 12:17:05 +01:00
npm	[theme] rename editorGuide -> editorIndentGuides (for #23464)	2017-03-30 16:24:05 +02: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	fix missing error emit in extensions compilation	2016-11-29 15:59:17 +01:00
gulpfile.hygiene.js	👷 allow hygiene to run on a single file	2017-03-21 11:28:26 +01:00
gulpfile.js	fix up lint errors, cleanup build folder	2016-03-07 12:56:32 +01:00
gulpfile.mixin.js	fix vsda filter	2017-04-04 10:45:38 +02:00
gulpfile.test.js	extract test task to build/gulpfile.test.js	2016-10-20 15:15:29 +02:00
gulpfile.vscode.js	node-debug@1.12.0	2017-04-04 18:30:46 +02:00
gulpfile.vscode.linux.js	👷 remove buffers from build streams	2017-03-31 10:30:29 +02: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	fix up lint errors, cleanup build folder	2016-03-07 12:56:32 +01:00