Joscha cdbe8d195a Update recommended extensions		2026-01-09 22:02:58 +01:00
..
extensions.json	Update recommended extensions	2026-01-09 22:02:58 +01:00
settings.json	Set up vscode	2025-08-26 15:47:18 +02:00