Skip to content

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

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

Annotations

1 warning

gaplint

succeeded Dec 20, 2024 in 26s