Skip to content

Introducing sphinx-lint#60

Merged
egeakman merged 5 commits into
3.10from
sphinx-lint
Dec 1, 2022
Merged

Introducing sphinx-lint#60
egeakman merged 5 commits into
3.10from
sphinx-lint

Conversation

@egeakman

@egeakman egeakman commented Dec 1, 2022

Copy link
Copy Markdown
Collaborator

No description provided.

@egeakman egeakman self-assigned this Dec 1, 2022
@egeakman
egeakman merged commit b806946 into 3.10 Dec 1, 2022
@egeakman
egeakman deleted the sphinx-lint branch December 1, 2022 19:27
@egeakman egeakman added the misc label Jan 16, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant