documentation_options.js 356 B

123456789101112
  1. var DOCUMENTATION_OPTIONS = {
  2. URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'),
  3. VERSION: '4.9.10',
  4. LANGUAGE: 'None',
  5. COLLAPSE_INDEX: false,
  6. BUILDER: 'html',
  7. FILE_SUFFIX: '.html',
  8. LINK_SUFFIX: '.html',
  9. HAS_SOURCE: true,
  10. SOURCELINK_SUFFIX: '.txt',
  11. NAVIGATION_WITH_KEYS: false
  12. };