Skip to content

Deemphasize tarballs, remove menu item "mirrors"#466

Merged
haraldschilly merged 3 commits intosagemath:masterfrom mkoeppe:deemphasize_tarballsFeb 13, 2024