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.
signature.asc
Description: PGP signature
