Merge pull request #10584 from tk0miya/10574_rtd_search_3

Fix #10574: Failed to search on sphinx-doc.org (again)
sphinx-doc · Jun 19, 2022 · 0796f70 · 0796f70
2 parents b4278d6 + 4292630
commit 0796f70
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/doc/_themes/sphinx13/static/_sphinx_javascript_frameworks_compat.js b/doc/_themes/sphinx13/static/_sphinx_javascript_frameworks_compat.js
@@ -9,11 +9,6 @@
  *
  */
 
-/**
- * select a different prefix for underscore
- */
-$u = _.noConflict();
-
 
 /**
  * small helper function to urldecode strings