Manuel Thalmann b600414d9d Fix broken problem-matchers		2021-05-11 17:14:40 +00:00
..
extensions.json	Remove unnecessary comments from extensions.json	2021-05-11 00:10:16 +00:00
launch.json	Add the sourceMaps-option to the launch-settings	2021-05-11 00:37:22 +00:00
settings.json	Add missing EOL to the settings	2021-05-11 00:57:13 +00:00
tasks.json	Fix broken problem-matchers	2021-05-11 17:14:40 +00:00