Code

Add a callback to FuncJUMP_TO_CATCH#1690

Code

Merged

ChrisJefferson merged 1 commit intogap-system:mastergap-system/gap:masterfrom markuspf:jump-to-catchmarkuspf/gap:jump-to-catchCopy head branch name to clipboardFeb 19, 2018

+12-4

Commits

Commits on Feb 13, 2018

• Add a callback to FuncJUMP_TO_CATCH

  Show description for 80cc26f
  

  markuspf

  authored and

  Markus Pfeiffer

  committed
  80cc26f