You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We currently have the modes onlyneeded, default and loadall. We could either add a new mode ("bare"?), or replace the -A flag in onlyneeded with --bare?
This would probably help with gap-system/gap#2434.
We currently have the modes
onlyneeded,defaultandloadall. We could either add a new mode ("bare"?), or replace the-Aflag inonlyneededwith--bare?