Skip to content

chore: Require sphinx-rtd-theme of v1.3.0+#2309

Merged
matthewfeickert merged 1 commit intomainfrom chore/require-sphinx-rtd-theme-1-3-0Aug 31, 2023

Commits

Commits on Aug 30, 2023