Robin Mueller 669d7248f2 moved settings-default.json		2021-12-10 10:16:44 +01:00
..
launch.json	updated .vscode handling	2021-12-10 10:13:42 +01:00
settings-default.json	moved settings-default.json	2021-12-10 10:16:44 +01:00
tasks.json	updated .vscode handling	2021-12-10 10:13:42 +01:00