Andre Weinand 5030d8dded fix source maps for builtin extensions (Windows)

2016-06-07 00:53:18 +02:00

..

lib

Improve editor-distro gulp task

2016-05-31 16:31:35 +02:00

monaco

monaco-editor: add monaco.languages.setMonarchTokensProvider

2016-06-06 16:44:44 +02:00

npm

configuration-editing: fix npm install, vscode lookup, completion item usage

2016-06-06 08:46:47 +02:00

gulpfile.common.js

Improve editor-distro gulp task

2016-05-31 16:31:35 +02:00

gulpfile.editor.js

monaco-editor: add monaco.languages.setMonarchTokensProvider

2016-06-06 16:44:44 +02:00

gulpfile.extensions.js

fix source maps for builtin extensions (Windows)

2016-06-07 00:53:18 +02:00

gulpfile.hygiene.js

Improve editor-distro gulp task

2016-05-31 16:31:35 +02:00

gulpfile.js

fix up lint errors, cleanup build folder

2016-03-07 12:56:32 +01:00

gulpfile.vscode.js

Pull linux package revision initialization to top

2016-05-31 18:51:45 -07:00

tsconfig.json

fix up lint errors, cleanup build folder

2016-03-07 12:56:32 +01:00