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