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
src/sage/libs/gap/sage.gaprc: disable color prompt
This is currently done in gap_reset_workspace(), but I think it's less
surprising to find the GAP initialization in the GAP initialization
file. Here we add it to sage.gaprc so that it can later be removed
from gap_reset_workspace().
0 commit comments