Joao Moreno e59d3cf5ee add tooltip to extension name ...

fixes #1441

2016-01-06 15:31:34 +01:00

..

typings

workaround win10 focus issue

2015-12-21 10:25:07 +01:00

vs

add tooltip to extension name

2016-01-06 15:31:34 +01:00

bootstrap.js

fix bootstrap baseUrl

2015-12-11 09:32:32 +01:00

buildfile.js

…

tsconfig.json

…