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