Skip to content

Use latest tools in readthedocs#19

Merged
vbkaisetsu merged 1 commit intomainfrom
readthedocs-fix
Apr 18, 2026
Merged

Use latest tools in readthedocs#19
vbkaisetsu merged 1 commit intomainfrom
readthedocs-fix

Conversation

@vbkaisetsu
Copy link
Copy Markdown
Member

No description provided.

@vbkaisetsu vbkaisetsu marked this pull request as ready for review April 18, 2026 13:02
@vbkaisetsu vbkaisetsu merged commit 41911f2 into main Apr 18, 2026
15 checks passed
@vbkaisetsu vbkaisetsu deleted the readthedocs-fix branch April 18, 2026 13:03
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