Name Date Size #Lines LOC

..--

_static/css/H--

changes/H--

community/H--

developers/H--

ext/H--

faq/H--

install/H--

manual/H--

manualpages/H--

miscellaneous/H--

overview/H--

petsc4py/H--

public/H--

tutorials/H--

.gitignoreH A D22-Feb-2023202

add_man_page_redirects.pyH A D22-Feb-20231.2 KiB

build_c2html.pyH A D05-Jun-20254.4 KiB

build_c2html_file.pyH A D09-Jul-20242.2 KiB

build_man_examples_links.pyH A D05-Jun-20252.8 KiB

build_man_impls_links.pyH A D19-Feb-20263.5 KiB

build_man_index.pyH A D07-Jan-20269.9 KiB

build_man_pages.pyH A D05-Jun-20254.9 KiB

build_manpages_c2html.pyH A D02-Nov-20255.1 KiB

conf.pyH A D05-Jun-202511.9 KiB

fix_man_page_edit_links.pyH A D16-Feb-20241.5 KiB

fix_pydata_margins.pyH A D16-Feb-2024519

index.mdH A D23-Feb-20267.6 KiB

make_links_relative.pyH A D20-Feb-20261.2 KiB

makefileH A D21-Oct-20252.2 KiB

petsc.bibH A D13-Feb-20261.4 MiB

requirements.txtH A D08-Feb-2026448

update_htmlmap_links.pyH A D30-Jan-20241.1 KiB