Home
last modified time | relevance | path

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

/petsc/lib/petsc/bin/maint/petsclinter/petsclinter/classes/
H A D_path.py49 def append_name(self, name: str) -> Path: member in Path
/petsc/lib/petsc/bin/maint/petsclinter/petsclinter/
H A Dmain.py248 mangled_file = patch_dir / str(fname.append_name(mangle_postfix)).replace(os.path.sep, '_')