Skip to content

Add documentation to RealGalaxyCatalog.close()#1340

Merged
rmjarvis merged 3 commits intomainfrom
#1333
Dec 9, 2025
Merged

Add documentation to RealGalaxyCatalog.close()#1340
rmjarvis merged 3 commits intomainfrom
#1333

Commits

Commits on Dec 8, 2025

Commits on Dec 9, 2025