diff options
| author |  ChrisLovering <[email protected]> | 2024-03-04 14:53:52 +0000 |
|---|---|---|
| committer | ChrisLovering <[email protected]> | 2024-03-04 14:53:52 +0000 |
| commit | 3eb5ff4e3f0a841d28d8c742eba2e562f9fc2231 (patch) | |
| tree | cc57ad52e9e9efb2ab82c0bd8596522ace108556 /v7.1.3/_static/documentation_options.js | |
| parent | Deploying to docs from @ python-discord/bot-core@69eeda8a1914b671af68871dcf55... (diff) | |
Deploying to docs from @ python-discord/bot-core@c72b515aec03b1d9df49a3d58bfa90a3d864160e 🚀
Diffstat (limited to 'v7.1.3/_static/documentation_options.js')
| -rw-r--r-- | v7.1.3/_static/documentation_options.js | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/v7.1.3/_static/documentation_options.js b/v7.1.3/_static/documentation_options.js deleted file mode 100644 index ded24efb..00000000 --- a/v7.1.3/_static/documentation_options.js +++ /dev/null @@ -1,13 +0,0 @@ -const DOCUMENTATION_OPTIONS = { - VERSION: '7.1.3', - LANGUAGE: 'en', - COLLAPSE_INDEX: false, - BUILDER: 'html', - FILE_SUFFIX: '.html', - LINK_SUFFIX: '.html', - HAS_SOURCE: true, - SOURCELINK_SUFFIX: '.txt', - NAVIGATION_WITH_KEYS: false, - SHOW_SEARCH_SUMMARY: true, - ENABLE_SEARCH_SHORTCUTS: true, -};
\ No newline at end of file |