Searched refs:OptionsHeader (Results 1 – 1 of 1) sorted by relevance
133 static const char *OptionsHeader = "<head>\n" variable244 PetscCallSAWs(SAWs_Push_Header, ("index.html", OptionsHeader)); in PetscOptionsSAWsInput()