Andre Weinand f5882a326b remove deprecated attributes from launch.json		2016-11-11 16:41:56 +01:00
..
extensions.json	fix #13121	2016-10-03 08:34:30 +02:00
launch.json	remove deprecated attributes from launch.json	2016-11-11 16:41:56 +01:00
settings.json
tasks.json