diff options
Diffstat (limited to 'v9.5.1/_static/documentation_options.js')
| -rw-r--r-- | v9.5.1/_static/documentation_options.js | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/v9.5.1/_static/documentation_options.js b/v9.5.1/_static/documentation_options.js index 64f6b3d2..2b9f2a76 100644 --- a/v9.5.1/_static/documentation_options.js +++ b/v9.5.1/_static/documentation_options.js @@ -1,5 +1,4 @@ -var DOCUMENTATION_OPTIONS = { - URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'), +const DOCUMENTATION_OPTIONS = { VERSION: '9.5.1', LANGUAGE: 'en', COLLAPSE_INDEX: false, |