Code

Remove obsolete GAP.GAPFuncs#256

Code

Merged

fingolfin merged 1 commit intooscar-system:masteroscar-system/GAP.jl:masterfrom fingolfin:mh/remove-GAPFuncsfingolfin/GAP.jl:mh/remove-GAPFuncsCopy head branch name to clipboardJun 17, 2019

+2-6

Commits

Commits on Jun 17, 2019

• Remove obsolete GAP.GAPFuncs

  Show description for fc96338
  fingolfin

  committed
  fc96338

  Copy full SHA for fc96338