Code

Fix DefaultInfoHandler#867

Code

Closed

frankluebeck wants to merge 1 commit intogap-system:mastergap-system/gap:masterfrom frankluebeck:fix_defaultinfohandlerfrankluebeck/gap:fix_defaultinfohandlerCopy head branch name to clipboard

+1-1

Commits

Commits on Jul 27, 2016

• Fix DefaultInfoHandler

  Show description for bce8c87
  frankluebeck

  committed
  bce8c87

  Copy full SHA for bce8c87