Skip to content

etc/make_tar: ensure refs to GAP manual are relative - #63

Merged
gaehler merged 1 commit into
masterfrom
mh/fix-makedoc-ref
Aug 19, 2026
Merged

etc/make_tar: ensure refs to GAP manual are relative#63
gaehler merged 1 commit into
masterfrom
mh/fix-makedoc-ref

etc/make_tar: ensure refs to GAP manual are relative

4b7b64f
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Aug 18, 2026 in 1s

Coverage not affected when comparing 1506b33...4b7b64f

View this Pull Request on Codecov

Coverage not affected when comparing 1506b33...4b7b64f

View more details on Codecov