chore: remove unused extensions #10

Merged
Michael.Seele merged 1 commit from chore/devcontainer into main 2026-05-04 08:11:20 +00:00

1 commit

Author SHA1 Message Date
5f542e7a12 chore: remove unused extensions
All checks were successful
validate-shared-actions / validate-shared-actions (pull_request) Successful in 1m17s
2026-05-04 07:13:53 +00:00