Erich Gamma f4a351fc08 Move tslint settings to tslint.json		2017-05-17 16:13:23 +02:00
..
extensions.json	fix #13121	2016-10-03 08:34:30 +02:00
launch.json	⚡ git: run status without buffering whole output	2017-04-18 17:16:20 +02:00
settings.json	Move tslint settings to tslint.json	2017-05-17 16:13:23 +02:00
tasks.json	fixes #20344	2017-02-15 11:58:37 +01:00