Open
Description
The build instructions are out-of-date and refer to the VSCode extension which is no longer part of this repository.
{{ message }}
No one assigned
No projects
No milestone
None yet
No branches or pull requests
The build instructions are out-of-date and refer to the VSCode extension which is no longer part of this repository.