From bffbdeb5347d5d72ec43a46750cbe35f75699893 Mon Sep 17 00:00:00 2001 From: tsmethurst Date: Mon, 1 Mar 2021 11:52:49 +0100 Subject: try some doc changes --- docs/_build/html/_static/documentation_options.js | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 docs/_build/html/_static/documentation_options.js (limited to 'docs/_build/html/_static/documentation_options.js') diff --git a/docs/_build/html/_static/documentation_options.js b/docs/_build/html/_static/documentation_options.js deleted file mode 100644 index 2fa8c97fe..000000000 --- a/docs/_build/html/_static/documentation_options.js +++ /dev/null @@ -1,12 +0,0 @@ -var DOCUMENTATION_OPTIONS = { - URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'), - VERSION: '', - LANGUAGE: 'None', - COLLAPSE_INDEX: false, - BUILDER: 'html', - FILE_SUFFIX: '.html', - LINK_SUFFIX: '.html', - HAS_SOURCE: true, - SOURCELINK_SUFFIX: '.txt', - NAVIGATION_WITH_KEYS: false -}; \ No newline at end of file -- cgit v1.2.3