chore: remove unused extensions from Gitpod/CodeSpaces#1312
Merged
dreamorosi merged 1 commit intoaws-powertools:mainfrom Feb 20, 2023
Merged
chore: remove unused extensions from Gitpod/CodeSpaces#1312dreamorosi merged 1 commit intoaws-powertools:mainfrom
dreamorosi merged 1 commit intoaws-powertools:mainfrom