Remove VS Code extension from the main repository so it can live in a dedicated space. See #473.#476

Merged

adamziel merged 2 commits intotrunkfrom remove-vscode-extension

May 31, 2023

+2-1,316

Commits on May 30, 2023