Deprecate GUI commands
·
723 commits
to master
since this release
See #106. The local GUI will be replaced by the local vscode plugin soon.
See #106. The local GUI will be replaced by the local vscode plugin soon.