Skip to content

Modernise the build system#237

Merged
Joseph-Edwards merged 19 commits intolibsemigroups:v1from
Joseph-Edwards:update-build-system
May 13, 2025

Commits

Commits on May 12, 2025

Commits on May 13, 2025