Manuel Thalmann d6fa484904 Add the sourceMaps-option to the launch-settings		2021-05-11 00:37:22 +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 tasks for building typescript-code	2019-10-07 11:48:01 +00:00
tasks.json	Fix linting-messages	2021-05-10 20:46:32 +00:00