Benjamin Pasero 48c1c5777b update settings: hide derived		2017-01-12 09:22:09 +01:00
..
extensions.json	fix #13121	2016-10-03 08:34:30 +02:00
launch.json	undo change in launch.json	2016-12-13 17:51:07 +01:00
settings.json	update settings: hide derived	2017-01-12 09:22:09 +01:00
tasks.json	update to tslint 4.0	2017-01-11 09:00:57 +01:00