chore: lean.code-workspace: fix terminal cwd #10802
+2
−1
Merged
Loading