Joao Moreno dca48c37b6 Merge branch 'master' into unused-variables

2018-02-12 11:58:56 +01:00

..

extensions.json

fix #13121

2016-10-03 08:34:30 +02:00

launch.json

Merge branch 'master' into unused-variables

2018-02-12 11:58:56 +01:00

settings.json

Move license entries to root OSSREADME.json

2017-12-12 11:40:42 +01:00

tasks.json

update to tslint5

2017-11-07 12:08:22 +01:00