[petsc-dev] -info from just one process?

Back to the list