Add command line option --packagedirs and GAP function ExtendPackageDirectories() to make it easier to use custom packages#5873
Merged
fingolfin merged 17 commits intogap-system:masterfrom lgoettgens:lg/PackageDirectoriesJan 6, 2025
+151-36
Commits
Commits on Dec 17, 2024
- committed
- committed
Commits on Dec 18, 2024
- committed
Commits on Dec 20, 2024
- committed
- committed
- authored
Commits on Dec 21, 2024
Commits on Dec 23, 2024
Commits on Jan 3, 2025
Commits on Jan 4, 2025
Commits on Jan 6, 2025
- authored
- authored
- committed