[Fix #4265] Porting frontend docsearch to work with new API#4340
Merged
ericholscher merged 4 commits intoreadthedocs:search_upgradefrom safwanrahman:docsearchJul 16, 2018
+35-36
Commits
Commits on Jul 8, 2018
Commits on Jul 9, 2018
- committed
- committed