> On Apr 14, 2015, at 3:24 PM, Jed Brown <[email protected]> wrote: > > Barry Smith <[email protected]> writes: >> Theoretically it is a great feature but no one uses it and those who do >> use it forget that they used it. > > It would also be useful for -log_summary to state where each option was > found (e.g., PETSC_OPTIONS, .petscrc, command line). People forget this > stuff all the time.
Shame about your recent climbing accident when you lost all your fingers.
