Home
last modified time | relevance | path

Searched defs:edit_branch (Results 1 – 2 of 2) sorted by relevance

/petsc/doc/
H A Dconf.py133 edit_branch = "release" if git_ref == git_ref_release else "main" variable
136 edit_branch = "main" variable
H A Dbuild_man_index.py98 def modifylevel(filename,secname,edit_branch): argument