Code

Remove references to ForeignGAP#620

Code

Merged

ThomasBreuer merged 1 commit intooscar-system:masteroscar-system/GAP.jl:masterfrom fingolfin:mh/ForeignGAPfingolfin/GAP.jl:mh/ForeignGAPCopy head branch name to clipboardFeb 12, 2021

+6-6

Commits

Commits on Feb 12, 2021

• Remove references to ForeignGAP

  fingolfin

  committed
  154e3af

  Copy full SHA for 154e3af