diff options
| author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2023-05-13 15:41:22 +0000 |
|---|---|---|
| committer | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2023-05-13 15:41:22 +0000 |
| commit | 7236d691ca4d44f36e1645b31bd94af2d337a365 (patch) | |
| tree | 8c1936ddfe3f7510e9bfcfce4e9496607dbddd89 /nightly/support | |
| parent | 1d1a69cb97503a074d6efffb6b13c2599e1fb1e1 (diff) | |
Deployed f76fc846 to nightly with MkDocs 1.4.2 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 3cff8ca4..8cf1ca8c 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.2, mkdocs-material-9.1.11"> + <meta name="generator" content="mkdocs-1.4.2, mkdocs-material-9.1.12"> @@ -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.fac441b0.min.js"></script> + <script src="../../assets/javascripts/bundle.c2be25ad.min.js"></script> </body> diff --git a/nightly/support/unofficial/index.html b/nightly/support/unofficial/index.html index 96d44b03..c54a4f7d 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.2, mkdocs-material-9.1.11"> + <meta name="generator" content="mkdocs-1.4.2, mkdocs-material-9.1.12"> @@ -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.fac441b0.min.js"></script> + <script src="../../assets/javascripts/bundle.c2be25ad.min.js"></script> </body> |