Skip to content

doc: use sphinx-rtd-theme#575

Merged
methane merged 3 commits intomainfrom
doc-theme
Nov 15, 2023
Merged

doc: use sphinx-rtd-theme#575
methane merged 3 commits intomainfrom
doc-theme

Conversation

@methane
Copy link
Member

@methane methane commented Nov 15, 2023

No description provided.

@methane methane merged commit c780261 into main Nov 15, 2023
@methane methane deleted the doc-theme branch November 15, 2023 14:34
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