Skip to content

Minor improvements to documentation - #382

Merged
fingolfin merged 2 commits into
gap-packages:masterfrom
TWiedemann:tw/doc-minor
Sep 29, 2026
Merged

fingolfin merged 2 commits into
gap-packages:masterfrom
TWiedemann:tw/doc-minor

Commits

  1. Commits on Sep 29, 2026