Patrick Jentsch 143cdd91f9 update workspace settings		2024-11-21 11:22:46 +01:00
..
extensions.json	Switch back to older settings and extension .vscode setup	2023-11-20 15:26:22 +01:00
settings.json	update workspace settings	2024-11-21 11:22:46 +01:00