remove extraneous file

desihub · Aug 29, 2023 · 13e2750 · 13e2750
1 parent ea2df24
commit 13e2750
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 464 deletions.
diff --git a/doc/rtd-requirements.txt b/doc/rtd-requirements.txt
@@ -1,3 +1,3 @@
 jinja2>3.1
 sphinx-toolbox
-sphinx-rtd-theme>=1.3
+sphinx-rtd-theme>1.2