[petsc-dev] PetscOptionsTruth should be PetscOptionsBool?

Jed Brown jed at 59A2.org
Thu Oct 14 11:59:38 CDT 2010

On Thu, Oct 14, 2010 at 18:25, Barry Smith <bsmith at mcs.anl.gov> wrote:
>   An oversight. As were any other Truths that were left in.

I gave it a sed-job.

More information about the petsc-dev mailing list