Jörn-Michael Miehe cbfc1d25c6 🚧 fix tasks and Dockerfile		2026-02-22 01:31:26 +00:00
..
extensions.json	🚧 ui: re-scaffolding	2026-02-20 22:25:22 +00:00
launch.json	"prettier" reformatting	2024-08-27 00:25:42 +00:00
settings.json	🚧 ui: re-scaffolding	2026-02-21 19:10:56 +00:00
tasks.json	🚧 fix tasks and Dockerfile	2026-02-22 01:31:26 +00:00