Home
last modified time | relevance | path

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

/petsc/lib/petsc/bin/maint/ !
H A Dgcov.py257 def get_branch_diff(merge_branch): argument
497 def do_main(petsc_dir, petsc_arch, merge_branch, base_path, formats, verbosity, ci_mode): argument