Skip to content

chore: lean.code-workspace: fix terminal cwd#10802

Merged
Kha merged 1 commit intoleanprover:masterfrom
Kha:push-msnornyvwmwn
Oct 16, 2025
Merged

chore: lean.code-workspace: fix terminal cwd#10802
Kha merged 1 commit intoleanprover:masterfrom
Kha:push-msnornyvwmwn

Commits

Commits on Oct 16, 2025