Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix search in Readthedocs configuration with workaround
This commit fixes search by adding a workaround to the Readthedocs configuration. For the workaround see readthedocs/sphinx_rtd_theme#1452 (comment)
- Loading branch information