Code

Tweak ShowImpliedFilters some more#2340

Code

Merged

fingolfin merged 1 commit intogap-system:mastergap-system/gap:masterfrom fingolfin:mh/ShowImpliedFilters-againfingolfin/gap:mh/ShowImpliedFilters-againCopy head branch name to clipboardApr 9, 2018

+20-9

Commits

Commits on Apr 7, 2018

• Tweak ShowImpliedFilters some more

  Show description for 9ccba17
  fingolfin

  committed
  9ccba17

  Copy full SHA for 9ccba17