Joscha c71ec350dd Update recommended extensions ... Ty is not ready yet, still too buggy.		2025-08-29 14:07:49 +02:00
..
extensions.json	Update recommended extensions	2025-08-29 14:07:49 +02:00
settings.json	Set up vscode	2025-08-26 15:47:18 +02:00