Joao Moreno 9d38f78fb3 pimp up extension viewlet

2016-06-24 11:00:57 +02:00

..

typings

tabs bugfixing and polish

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

vs

pimp up extension viewlet

2016-06-24 11:00:57 +02:00

bootstrap-amd.js

…

bootstrap.js

Merge branch 'master' into extension-viewlet

2016-06-21 14:13:35 +02:00

buildfile.js

Delete code that was extracted to other repos

2016-06-08 10:17:51 +02:00

cli.js

move args, cli, sharedProcessMain to code

2016-05-02 16:05:37 +02:00

main.js

Fixes #6002: Unknown locale value falls back to English, not OS locale

2016-05-20 15:23:15 +02:00

paths.js

extract userData path computation

2016-05-04 11:26:38 +02:00

tsconfig.json

Cleanup merged settings and polish jsdoc

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