etc: remove old files#263

james-d-mitchell merged 1 commit into

libsemigroups:v1libsemigroups/libsemigroups_pybind11:v1from

james-d-mitchell:rm-unused-filesjames-d-mitchell/libsemigroups_pybind11:rm-unused-filesCopy head branch name to clipboard