unzip_and_create_header (reference) in projects: petsc

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

/petsc/lib/petsc/bin/maint/
H A D	petscdt_create_quadrature_headers.py	`232 def unzip_and_create_header(file, extracter, rules): function 240 unzip_and_create_header(args.tri, ZipFile, triangle_rules) 243 unzip_and_create_header(args.tet, TarFile, tetrahedron_rules)`