Erich Gamma 483880d147 Fix for #11283 add a setting to exclude languages		2016-09-01 09:07:45 +02:00
..
launch.json	Fix for #11283 add a setting to exclude languages	2016-09-01 09:07:45 +02:00
settings.json	More lcov settings	2016-08-28 23:05:00 +02:00
tasks.json	Revert "revert changes to gulp files"	2016-07-12 17:12:38 +02:00