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

Clarify .petsc-version comment: shared source tree limitation

9dd52c4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar