Benjamin Pasero b504076ca4 Ctrl+k Ctrl+P not mapped to showAllEditors (fixes #8593)

2016-07-01 07:30:50 +02:00

..

typings

tabs bugfixing and polish

2016-06-19 11:13:12 +02:00

vs

Ctrl+k Ctrl+P not mapped to showAllEditors (fixes #8593)

2016-07-01 07:30:50 +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

…

paths.js

…

tsconfig.json

Cleanup merged settings and polish jsdoc

2016-06-23 13:43:12 +02:00