Repository navigation

Rm unused gv funcs - #124

Merged

james-d-mitchell merged 4 commits into

gap-packages:mainfrom

james-d-mitchell:rm-unused-gv-funcs

Oct 16, 2026

Merged

Rm unused gv funcs#124
james-d-mitchell merged 4 commits into
gap-packages:mainfrom
james-d-mitchell:rm-unused-gv-funcs

Commits on Oct 16, 2026
- Remove unused GV_HasNode
  james-d-mitchell
  committed
  eb6e132
- Remove unused GV_ErrorIfNotValidLabel
  james-d-mitchell
  committed
  4e0f84d
- Remove unused GV_EnclosingNonContext
  james-d-mitchell
  committed
  f9555a6
- Bind local helpers in gv.gi
  james-d-mitchell
  committed
  3dd8ca0