diff options
| author |  ChrisLovering <[email protected]> | 2022-07-21 12:03:32 +0000 |
|---|---|---|
| committer | ChrisLovering <[email protected]> | 2022-07-21 12:03:32 +0000 |
| commit | eb8df86c9106f0dfaf41cc02000bbbc3083428f7 (patch) | |
| tree | ac3017bf5e4899be14f777ea3de79c12b64814b1 /main/_static/documentation_options.js | |
| parent | Deploying to docs from @ python-discord/bot-core@c448b69160e287826268db6f499e... (diff) | |
Deploying to docs from @ python-discord/bot-core@603fc83bcfde790f184ddaf0ab2bd5364431d067 🚀
Diffstat (limited to 'main/_static/documentation_options.js')
| -rw-r--r-- | main/_static/documentation_options.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/main/_static/documentation_options.js b/main/_static/documentation_options.js index 4e5b1b22..dc6d202b 100644 --- a/main/_static/documentation_options.js +++ b/main/_static/documentation_options.js @@ -1,6 +1,6 @@ var DOCUMENTATION_OPTIONS = { URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'), - VERSION: '7.3.1', + VERSION: '7.4.0', LANGUAGE: 'en', COLLAPSE_INDEX: false, BUILDER: 'html', |