Amar Takhar
|
9845183527
|
Update sphinx_rtd_theme to https://github.com/readthedocs/sphinx_rtd_theme/
68a19ca / 0.4.3.dev0. I have been using this one for a while without
issues.
This should fix the search issues.
closes #3880
|
2020-02-26 00:09:17 -05:00 |
|