From c66eb62f0857d4f406ee0df67ded1e2be94817b4 Mon Sep 17 00:00:00 2001
From: ChrisLovering <ChrisLovering@users.noreply.github.com>
Date: Thu, 2 Mar 2023 23:02:13 +0000
Subject: Deploying to docs from @
 python-discord/bot-core@79b8734b5cd5c1d9d884a0e21152c3349e196bff 🚀
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 v9.5.0/_static/documentation_options.js | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 v9.5.0/_static/documentation_options.js

(limited to 'v9.5.0/_static/documentation_options.js')

diff --git a/v9.5.0/_static/documentation_options.js b/v9.5.0/_static/documentation_options.js
new file mode 100644
index 00000000..9f9f2eee
--- /dev/null
+++ b/v9.5.0/_static/documentation_options.js
@@ -0,0 +1,14 @@
+var DOCUMENTATION_OPTIONS = {
+    URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'),
+    VERSION: '9.5.0',
+    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
-- 
cgit v1.2.3