Merge branch 'master' into update_theme

scipopt · Oct 8, 2024 · c61f476 · c61f476
2 parents b0154d1 + e5bf75b
commit c61f476
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -42,6 +42,7 @@
     "sphinx.ext.mathjax",
     "sphinx.ext.intersphinx",
     "sphinx.ext.extlinks",
+    "sphinxcontrib.jquery",
 ]
 
 # You can define documentation here that will be repeated often