Skip to content

Decapitalize filenames in PREP doc#36892

Merged
vbraun merged 2 commits intosagemath:developfrom
kwankyu:p/decapitalize-prep-doc
Sep 21, 2025
Merged

Decapitalize filenames in PREP doc#36892
vbraun merged 2 commits intosagemath:developfrom
kwankyu:p/decapitalize-prep-doc

Commits

Commits on Sep 12, 2025