Skip to content

Stop using GNU libtool for linking GAP and libgap#5306

Merged
fingolfin merged 1 commit intogap-system:masterfrom fingolfin:mh/no-libtoolJan 21, 2024
+132-20,660

Commits

Commits on Jan 17, 2024