Skip to content

Avoid GAP headers other than src/compiled.h#417

Merged
wilfwilson merged 1 commit intosemigroups:stable-3.0from fingolfin:mh/compiled.hNov 17, 2017
+2-3

Commits