fix: use ZDOTDIR when available#900
Merged
Merged
VS Code Engineering / Community PR Approvals
succeeded
Oct 7, 2025 in 0s
Not a community PR
PR created by a collaborator
Loading
PR created by a collaborator