Remove detail stuff removed upstream - #484

Remove detail stuff removed upstream#484

james-d-mitchell merged 1 commit into

libsemigroups:mainlibsemigroups/libsemigroups_pybind11:mainfrom

james-d-mitchell:canonical-alphabet-validatorjames-d-mitchell/libsemigroups_pybind11:canonical-alphabet-validatorCopy head branch name to clipboard