25 Feb
2007
25 Feb
'07
1:09 p.m.
petsc-dev users, After your next petsc-dev pull please rerun make in the root directory to rebuild all the libraries. Barry