Skip to content

Drop tox config#192

Merged
ggravlingen merged 1 commit intomainfrom
drop-tox
Jul 22, 2023
Merged

Drop tox config#192
ggravlingen merged 1 commit intomainfrom
drop-tox

Conversation

@ggravlingen
Copy link
Copy Markdown
Owner

No description provided.

@ggravlingen ggravlingen merged commit 113dba3 into main Jul 22, 2023
@ggravlingen ggravlingen deleted the drop-tox branch July 22, 2023 19:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant