fix: make VSCode PID optional in MCP server#31
Merged
nikomatsakis merged 1 commit intosymposium-dev:mainfrom Sep 29, 2025
Merged
fix: make VSCode PID optional in MCP server#31nikomatsakis merged 1 commit intosymposium-dev:mainfrom
nikomatsakis merged 1 commit intosymposium-dev:mainfrom
Commits
Commits on Sep 27, 2025
- andcommitted
