[petsc-dev] Bash tool for handling switching between multiple PETSc branches and configures

jed at jedbrown.org jed at jedbrown.org
Fri Jan 3 18:03:29 CST 2020


An HTML attachment was scrubbed...
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20200103/b638fafc/attachment-0001.html>


More information about the petsc-dev mailing list