Skip to content

Modernise the build system#237

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

Modernise the build system#237
Joseph-Edwards merged 19 commits into
libsemigroups:v1from
Joseph-Edwards:update-build-system

Commits

Commits on May 12, 2025

Commits on May 13, 2025