Add command line option --packagedirs and GAP function ExtendPackageDirectories() to make it easier to use custom packages
#2328
| Job | Run time |
|---|---|
| 28s | |
| 28s |