Allow passing a path to GAP.Packages.load#893
Merged
ThomasBreuer merged 3 commits intooscar-system:masterfrom ThomasBreuer:TB_load_via_pathJun 20, 2023
+144-37
Commits
Commits on Jun 13, 2023
Commits on Jun 19, 2023
- committed