Skip to content

Remove old files#230

Merged
james-d-mitchell merged 1 commit intolibsemigroups:v1from
james-d-mitchell:remove-old-files
Mar 14, 2025
Merged

Remove old files#230
james-d-mitchell merged 1 commit intolibsemigroups:v1from
james-d-mitchell:remove-old-files

Conversation

@james-d-mitchell
Copy link
Copy Markdown
Member

No description provided.

@james-d-mitchell james-d-mitchell added the v1 Label for issues/prs for v1 label Mar 14, 2025
@james-d-mitchell james-d-mitchell merged commit 3fe484b into libsemigroups:v1 Mar 14, 2025
11 checks passed
@james-d-mitchell james-d-mitchell deleted the remove-old-files branch March 14, 2025 17:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

v1 Label for issues/prs for v1

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant