Skip to content
Wrap releases

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

Sign in to view logs

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

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

This job was skipped