diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2022-07-07 09:31:20 +0000 |
---|---|---|
committer | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2022-07-07 09:31:20 +0000 |
commit | 541dd98a72ac5a86edd3400717c26859598034a5 (patch) | |
tree | 892441b3cf6cb3c7a6274e64c36988dac96bdbef /nightly/support | |
parent | b04afca57675d52caae2ced7ff3615f00244b9e4 (diff) |
Deployed d3a187b to nightly with MkDocs 1.3.0 and mike 1.1.2
Diffstat (limited to 'nightly/support')
-rw-r--r-- | nightly/support/official/index.html | 4 | ||||
-rw-r--r-- | nightly/support/unofficial/index.html | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/nightly/support/official/index.html b/nightly/support/official/index.html index ca3f749e..e0027a03 100644 --- a/nightly/support/official/index.html +++ b/nightly/support/official/index.html @@ -15,7 +15,7 @@ <link rel="canonical" href="https://clementtsang.github.io/bottom/nightly/support/official/"> <link rel="icon" href="../../assets/images/favicon.png"> - <meta name="generator" content="mkdocs-1.3.0, mkdocs-material-8.3.8"> + <meta name="generator" content="mkdocs-1.3.0, mkdocs-material-8.3.9"> @@ -1071,7 +1071,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.b97dbffb.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "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.title": "Select version"}, "version": {"default": "nightly", "provider": "mike"}}</script> - <script src="../../assets/javascripts/bundle.0238f547.min.js"></script> + <script src="../../assets/javascripts/bundle.6c7ad80a.min.js"></script> </body> diff --git a/nightly/support/unofficial/index.html b/nightly/support/unofficial/index.html index 70fdb6ba..c38fc390 100644 --- a/nightly/support/unofficial/index.html +++ b/nightly/support/unofficial/index.html @@ -15,7 +15,7 @@ <link rel="canonical" href="https://clementtsang.github.io/bottom/nightly/support/unofficial/"> <link rel="icon" href="../../assets/images/favicon.png"> - <meta name="generator" content="mkdocs-1.3.0, mkdocs-material-8.3.8"> + <meta name="generator" content="mkdocs-1.3.0, mkdocs-material-8.3.9"> @@ -1023,7 +1023,7 @@ Furthermore, while it will depend on the problem at the end of the day, <em>issu <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.b97dbffb.min.js", "translations": {"clipboard.copied": "Copied to clipboard", "clipboard.copy": "Copy to clipboard", "search.config.lang": "en", "search.config.pipeline": "trimmer, stopWordFilter", "search.config.separator": "[\\s\\-]+", "search.placeholder": "Search", "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.title": "Select version"}, "version": {"default": "nightly", "provider": "mike"}}</script> - <script src="../../assets/javascripts/bundle.0238f547.min.js"></script> + <script src="../../assets/javascripts/bundle.6c7ad80a.min.js"></script> </body> |