deploy: 45a837c

RBniCS · Dec 29, 2023 · 7b1ba9d · 7b1ba9d
1 parent 5c08a39
commit 7b1ba9d
Show file tree

Hide file tree

Showing 9 changed files with 9 additions and 1 deletion.
diff --git a/.buildinfo b/.buildinfo
@@ -1,4 +1,4 @@
 # Sphinx build info version 1
 # This file hashes the configuration used when building these files. When it is not found, a full rebuild will be done.
-config: ad0256a3c5ef28066955dc97fce346bf
+config: 693af97c31b6d3edbe94380fd3b18c3d
 tags: 645f666f9bcd5a90fca523b33c5a78b7
diff --git a/citing.html b/citing.html
@@ -70,6 +70,7 @@
     <script src="_static/documentation_options.js?v=5929fcd5"></script>
     <script src="_static/doctools.js?v=888ff710"></script>
     <script src="_static/sphinx_highlight.js?v=dc90522c"></script>
+    <script src="https://cdnjs.cloudflare.com/ajax/libs/jquery/3.3.1/jquery.min.js"></script>
     <script src="https://cdnjs.cloudflare.com/ajax/libs/jquery-dropdown/2.0.3/jquery.dropdown.min.js"></script>
     <script src="_static/js/external_links.js?v=e7f469e6"></script>
     <link rel="index" title="Index" href="genindex.html" />

diff --git a/contributing.html b/contributing.html
@@ -70,6 +70,7 @@
     <script src="_static/documentation_options.js?v=5929fcd5"></script>
     <script src="_static/doctools.js?v=888ff710"></script>
     <script src="_static/sphinx_highlight.js?v=dc90522c"></script>
+    <script src="https://cdnjs.cloudflare.com/ajax/libs/jquery/3.3.1/jquery.min.js"></script>
     <script src="https://cdnjs.cloudflare.com/ajax/libs/jquery-dropdown/2.0.3/jquery.dropdown.min.js"></script>
     <script src="_static/js/external_links.js?v=e7f469e6"></script>
     <link rel="index" title="Index" href="genindex.html" />

diff --git a/genindex.html b/genindex.html
@@ -68,6 +68,7 @@
     <script src="_static/documentation_options.js?v=5929fcd5"></script>
     <script src="_static/doctools.js?v=888ff710"></script>
     <script src="_static/sphinx_highlight.js?v=dc90522c"></script>
+    <script src="https://cdnjs.cloudflare.com/ajax/libs/jquery/3.3.1/jquery.min.js"></script>
     <script src="https://cdnjs.cloudflare.com/ajax/libs/jquery-dropdown/2.0.3/jquery.dropdown.min.js"></script>
     <script src="_static/js/external_links.js?v=e7f469e6"></script>
     <link rel="index" title="Index" href="#" />

diff --git a/index.html b/index.html
@@ -94,6 +94,7 @@
     <script src="_static/documentation_options.js?v=5929fcd5"></script>
     <script src="_static/doctools.js?v=888ff710"></script>
     <script src="_static/sphinx_highlight.js?v=dc90522c"></script>
+    <script src="https://cdnjs.cloudflare.com/ajax/libs/jquery/3.3.1/jquery.min.js"></script>
     <script src="https://cdnjs.cloudflare.com/ajax/libs/jquery-dropdown/2.0.3/jquery.dropdown.min.js"></script>
     <script src="_static/js/external_links.js?v=e7f469e6"></script>
     <link rel="index" title="Index" href="genindex.html" />

diff --git a/installing.html b/installing.html
@@ -70,6 +70,7 @@
     <script src="_static/documentation_options.js?v=5929fcd5"></script>
     <script src="_static/doctools.js?v=888ff710"></script>
     <script src="_static/sphinx_highlight.js?v=dc90522c"></script>
+    <script src="https://cdnjs.cloudflare.com/ajax/libs/jquery/3.3.1/jquery.min.js"></script>
     <script src="https://cdnjs.cloudflare.com/ajax/libs/jquery-dropdown/2.0.3/jquery.dropdown.min.js"></script>
     <script src="_static/js/external_links.js?v=e7f469e6"></script>
     <link rel="index" title="Index" href="genindex.html" />

diff --git a/publications.html b/publications.html
@@ -70,6 +70,7 @@
     <script src="_static/documentation_options.js?v=5929fcd5"></script>
     <script src="_static/doctools.js?v=888ff710"></script>
     <script src="_static/sphinx_highlight.js?v=dc90522c"></script>
+    <script src="https://cdnjs.cloudflare.com/ajax/libs/jquery/3.3.1/jquery.min.js"></script>
     <script src="https://cdnjs.cloudflare.com/ajax/libs/jquery-dropdown/2.0.3/jquery.dropdown.min.js"></script>
     <script src="_static/js/external_links.js?v=e7f469e6"></script>
     <link rel="index" title="Index" href="genindex.html" />

diff --git a/search.html b/search.html
@@ -69,6 +69,7 @@
     <script src="_static/documentation_options.js?v=5929fcd5"></script>
     <script src="_static/doctools.js?v=888ff710"></script>
     <script src="_static/sphinx_highlight.js?v=dc90522c"></script>
+    <script src="https://cdnjs.cloudflare.com/ajax/libs/jquery/3.3.1/jquery.min.js"></script>
     <script src="https://cdnjs.cloudflare.com/ajax/libs/jquery-dropdown/2.0.3/jquery.dropdown.min.js"></script>
     <script src="_static/js/external_links.js?v=e7f469e6"></script>
     <script src="_static/searchtools.js"></script>

diff --git a/tutorials.html b/tutorials.html
@@ -70,6 +70,7 @@
     <script src="_static/documentation_options.js?v=5929fcd5"></script>
     <script src="_static/doctools.js?v=888ff710"></script>
     <script src="_static/sphinx_highlight.js?v=dc90522c"></script>
+    <script src="https://cdnjs.cloudflare.com/ajax/libs/jquery/3.3.1/jquery.min.js"></script>
     <script src="https://cdnjs.cloudflare.com/ajax/libs/jquery-dropdown/2.0.3/jquery.dropdown.min.js"></script>
     <script src="_static/js/external_links.js?v=e7f469e6"></script>
     <link rel="index" title="Index" href="genindex.html" />