[vscode] add public-api-server to workspace

ZDSRKJ · Sep 16, 2022 · 214e7de · 214e7de
1 parent 65812bf
commit 214e7de
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/gitpod-ws.code-workspace b/gitpod-ws.code-workspace
@@ -23,6 +23,7 @@
         { "path": "components/ws-daemon" },
         { "path": "components/ws-manager" },
         { "path": "components/ws-proxy" },
+        { "path": "components/public-api-server" },
         { "path": "test" },
         { "path": "dev/blowtorch" },
         { "path": "dev/changelog" },