Home
last modified time | relevance | path

Searched refs:extracter (Results 1 – 1 of 1) sorted by relevance

/petsc/lib/petsc/bin/maint/ !
H A Dpetscdt_create_quadrature_headers.py232 def unzip_and_create_header(file, extracter, rules): argument
235 with extracter(file) as _archive: