[petsc-dev] PetscOptionsTruth should be PetscOptionsBool?

[Jed Brown]

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.