Use gap's --packagedirs
instead of symlinking in gaproot
#369
Job | Run time |
---|---|
0s |
--packagedirs
instead of symlinking in gaproot
#369
Job | Run time |
---|---|
0s |