Skip to content

update PackageInfo.g for GAP 4.14#41

Merged
fingolfin merged 2 commits intogap-packages:masterfrom ThomasBreuer:TB_PackageInfoNov 17, 2024

Commits

Commits on Nov 13, 2024

Commits on Nov 15, 2024