diff options
author | 2022-06-30 18:55:22 +0000 | |
---|---|---|
committer | 2022-06-30 18:55:22 +0000 | |
commit | aaaebc9d8a0a3c27ba59fb9873fff71b79ecc36d (patch) | |
tree | f6953f0fd9c38c217d60600619faead441d0eb23 /_static | |
parent | Deploying to docs from @ python-discord/bot-core@6e4d9fce6b02ab14528ea239b4eb... (diff) |
Deploying to docs from @ python-discord/bot-core@259eeb84f1d935e5254acbf673144f0b98aad965 🚀
Diffstat (limited to '_static')
-rw-r--r-- | _static/documentation_options.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/_static/documentation_options.js b/_static/documentation_options.js index e252ab06..d92dd7eb 100644 --- a/_static/documentation_options.js +++ b/_static/documentation_options.js @@ -1,6 +1,6 @@ var DOCUMENTATION_OPTIONS = { URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'), - VERSION: '7.2.0', + VERSION: '7.2.1', LANGUAGE: 'en', COLLAPSE_INDEX: false, BUILDER: 'html', |