Add command line option --packagedirs
and GAP function ExtendPackageDirectories()
to make it easier to use custom packages
#6078
Loading