Skip to content

Convert documentation to GAPDoc/AutoDoc - #8

Merged
fingolfin merged 2 commits into
masterfrom
mh/convert-doc-to-gapdoc
Aug 10, 2026
Merged

Convert documentation to GAPDoc/AutoDoc#8
fingolfin merged 2 commits into
masterfrom
mh/convert-doc-to-gapdoc

fixup

29b1528
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Aug 10, 2026 in 0s

Coverage not affected when comparing 582aed6...29b1528

View this Pull Request on Codecov

Coverage not affected when comparing 582aed6...29b1528

View more details on Codecov