Skip to content
CI

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

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 #6076

This job was cancelled