Skip to content

Copy .petsc-version to new worktrees - #128

Merged
lmoresi merged 2 commits into
developmentfrom
bugfix/worktree-petsc-version
Apr 22, 2026
Merged

lmoresi merged 2 commits into
developmentfrom
bugfix/worktree-petsc-version

Commits

Commits on Apr 21, 2026

Commits on Apr 22, 2026