Add command line option --packagedirs and GAP function ExtendPackageDirectories() to make it easier to use custom packages
#5998
Annotations
2 errors
|
|
|
Run tests
The operation was canceled.
|
Loading