Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
These get changed all the time and it's much better for a compilation to fail because it can't find PETSc than to use the wrong version or ARCH
- Loading branch information