remove redundant menu items in python panel#547
Merged
VS Code Engineering / Community PR Approvals
succeeded
Jun 16, 2025 in 1s
Not a community PR
PR created by a collaborator
Loading
PR created by a collaborator