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

Update tests

7d5deb4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
Build manuals
succeeded Sep 29, 2026 in 2m 4s