Skip to content

Add PETSc version switching infrastructure - #117

Merged
lmoresi merged 1 commit into
developmentfrom
feature/petsc-version-switch
Apr 17, 2026
Merged

Add PETSc version switching infrastructure#117
lmoresi merged 1 commit into
developmentfrom
feature/petsc-version-switch

Commits

Commits on Apr 17, 2026