diff options
Diffstat (limited to '_build/singlehtml/_static/documentation_options.js')
| -rw-r--r-- | _build/singlehtml/_static/documentation_options.js | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/_build/singlehtml/_static/documentation_options.js b/_build/singlehtml/_static/documentation_options.js deleted file mode 100644 index 2cdab06..0000000 --- a/_build/singlehtml/_static/documentation_options.js +++ /dev/null @@ -1,13 +0,0 @@ -const DOCUMENTATION_OPTIONS = { - VERSION: 'latest', - LANGUAGE: 'en', - COLLAPSE_INDEX: false, - BUILDER: 'singlehtml', - 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 |