Skip to content

Changes for sphinx-rtd-theme 3.0.0#230

Merged
victorlin merged 1 commit intomasterfrom victorlin/sphinx-rtd-theme-3.0.0Oct 10, 2024

Commits

Commits on Oct 10, 2024