Erich Gamma 93ff432c1f exclude extensions from npm task detection		2018-03-05 16:19:41 +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	exclude extensions from npm task detection	2018-03-05 16:19:41 +01:00
tasks.json	update to tslint5	2017-11-07 12:08:22 +01:00