Skip to content

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

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

Bind local helpers in gv.gi

3dd8ca0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
devel
succeeded Oct 16, 2026 in 1m 23s