move maint to bin/maint

Matthew Knepley knepley at
Sat Nov 24 09:20:23 CST 2007

Are they all executables?


On 11/23/07, Barry Smith <bsmith at> wrote:
>   Can we move maint to bin/maint?
>    Barry

What most experimenters take for granted before they begin their
experiments is infinitely more interesting than any results to which
their experiments lead.
-- Norbert Wiener

More information about the petsc-dev mailing list