mirror of
https://github.com/sphinx-doc/sphinx.git
synced 2026-11-02 20:30:30 -06:00
Make sphinx_rtd_theme optional
This commit is contained in:
1 parent
5f09ecd4cf
commit
12dde8afdb
2 files changed
+7
-3