mirror of
https://github.com/sphinx-doc/sphinx.git
synced 2026-09-03 20:52:55 -05:00
Merge pull request #2031 from agjohnson/rtd-theme-version
Tune sphinx_rtd_theme version
This commit is contained in:
Reference in New Issue
Block a user