Remove dependency on Server Manager extension#1494

gjsjohnmurray wants to merge 1 commit intointersystems-community:masterintersystems-community/vscode-objectscript:masterfrom

gjsjohnmurray:amaranth-hornetgjsjohnmurray/vscode-objectscript:amaranth-hornetCopy head branch name to clipboard