summaryrefslogtreecommitdiffstats
path: root/nightly/support
diff options
context:
space:
mode:
authorgithub-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>2023-06-26 05:33:21 +0000
committergithub-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>2023-06-26 05:33:21 +0000
commit58aa6764306691792f9d4d5d6d74e6429de05a0b (patch)
tree6395090e4f310a4877b1bd0a10022b77e4811ea5 /nightly/support
parentb38a1c119eabe9cf7282044f1a3657ffdb131cea (diff)
Deployed 0902abf6 to nightly with MkDocs 1.4.3 and mike 1.1.2
Diffstat (limited to 'nightly/support')
-rw-r--r--nightly/support/official/index.html4
-rw-r--r--nightly/support/unofficial/index.html4
2 files changed, 4 insertions, 4 deletions
diff --git a/nightly/support/official/index.html b/nightly/support/official/index.html
index e2e2c269..c8f2b3c9 100644
--- a/nightly/support/official/index.html
+++ b/nightly/support/official/index.html
@@ -21,7 +21,7 @@
<link rel="next" href="../unofficial/">
<link rel="icon" href="../../assets/images/favicon.png">
- <meta name="generator" content="mkdocs-1.4.3, mkdocs-material-9.1.16">
+ <meta name="generator" content="mkdocs-1.4.3, mkdocs-material-9.1.17">
@@ -1174,7 +1174,7 @@ bottom from the repo/source, then please try that as well.</p>
<script id="__config" type="application/json">{"base": "../..", "features": ["navigation.tabs", "navigation.top", "navigation.expand", "navigation.instant", "navigation.sections", "toc.integrate", "search.suggest", "search.highlight"], "search": "../../assets/javascripts/workers/search.208ed371.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"default": "stable", "provider": "mike"}}</script>
- <script src="../../assets/javascripts/bundle.a51614de.min.js"></script>
+ <script src="../../assets/javascripts/bundle.b425cdc4.min.js"></script>
</body>
diff --git a/nightly/support/unofficial/index.html b/nightly/support/unofficial/index.html
index a1e8eada..10ce1232 100644
--- a/nightly/support/unofficial/index.html
+++ b/nightly/support/unofficial/index.html
@@ -21,7 +21,7 @@
<link rel="next" href="../../usage/general-usage/">
<link rel="icon" href="../../assets/images/favicon.png">
- <meta name="generator" content="mkdocs-1.4.3, mkdocs-material-9.1.16">
+ <meta name="generator" content="mkdocs-1.4.3, mkdocs-material-9.1.17">
@@ -1125,7 +1125,7 @@ on the problem at the end of the day, <em>issues on unsupported platforms are li
<script id="__config" type="application/json">{"base": "../..", "features": ["navigation.tabs", "navigation.top", "navigation.expand", "navigation.instant", "navigation.sections", "toc.integrate", "search.suggest", "search.highlight"], "search": "../../assets/javascripts/workers/search.208ed371.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.result.more.one": "1 more on this page", "search.result.more.other": "# more on this page", "search.result.none": "No matching documents", "search.result.one": "1 matching document", "search.result.other": "# matching documents", "search.result.placeholder": "Type to start searching", "search.result.term.missing": "Missing", "select.version": "Select version"}, "version": {"default": "stable", "provider": "mike"}}</script>
- <script src="../../assets/javascripts/bundle.a51614de.min.js"></script>
+ <script src="../../assets/javascripts/bundle.b425cdc4.min.js"></script>
</body>