xref: /petsc/src/sys/tutorials/optionsfile (revision 7a7aea1f13832695eadc2fd5afef8ec0a48c5f75) 
1-option_in_file 22
2