[petsc-dev] PetscOptionsTruthGroup

[Jed Brown]

Is there a reason that this uses PetscOptionsHasName instead of
PetscOptionsGetTruth?  I would prefer the latter behavior because it
would let me switch options on and off without deleting and retyping the
option name.

Jed