documentation_options.js 310 B

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