source: flex_extract.git/Documentation/html/_static/documentation_options.js

ctbtodev
Last change on this file was 6931f61, checked in by anphi <anne.philipp@…>, 4 years ago

Update Onlinedocumentation after review of language editing

  • Property mode set to 100644
File size: 329 bytes
Line 
1var DOCUMENTATION_OPTIONS = {
2    URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'),
3    VERSION: '7.1.2',
4    LANGUAGE: 'None',
5    COLLAPSE_INDEX: false,
6    BUILDER: 'html',
7    FILE_SUFFIX: '.html',
8    HAS_SOURCE: true,
9    SOURCELINK_SUFFIX: '.txt',
10    NAVIGATION_WITH_KEYS: false
11};
Note: See TracBrowser for help on using the repository browser.
hosted by ZAMG