Pin sphinx !=6.1.3 (avoid non-functional Search utility on readthedocs)#3142
Closed
valeriupredoi wants to merge 13 commits intomain from pin_sphinx_rtd_theme
+3-3
Commits
Commits on Mar 29, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed