Skip to content

Look for GAP/autodoc files in pkgdir first, and in the current directory second - #369

Merged
fingolfin merged 1 commit into
gap-packages:masterfrom
stertooy:use-pkgdir
May 11, 2026
Merged

Look for GAP/autodoc files in pkgdir first, and in the current directory second#369
fingolfin merged 1 commit into
gap-packages:masterfrom
stertooy:use-pkgdir

Update Magic.gi

eaa7247
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Build manuals
succeeded May 9, 2026 in 2m 18s