[petsc-dev] snes/ex56 target is gone

[Mark Adams]

I looks like the target (runex56) for snes/ex56.c is not in the makefile.
Anyone know why that happened?