TAOPDIPM: Minor fixes to docs. (!2645) · Merge requests · PETSc / petsc · GitLab

Shrirang Abhyankar requested to merge shri/tao-pdipm-squashed-minor-fixes into master Mar 27, 2020

Minor fixes for docs. Updates to MR !2637 (merged) Fixes aad13602 (comment 312800758) @knepley and (aad13602 (comment 312477385)) @prj-