[petsc-dev] PetscOptionsTruth should be PetscOptionsBool?

[Barry Smith]

   An oversight. As were any other Truths that were left in.


   Barry

On Oct 14, 2010, at 10:53 AM, Jed Brown wrote:

> Was leaving this out of the PetscTruth -> PetscBool transformation
> intentional or an oversight?
> 
> Jed