deleted files

2021-08-22 23:23:31 +02:00
parent 69450ca9cc
commit 2b4d9dd60c
252 changed files with 1 additions and 130020 deletions
@@ -1,12 +0,0 @@
-var DOCUMENTATION_OPTIONS = {
-    URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'),
-    VERSION: '',
-    LANGUAGE: 'None',
-    COLLAPSE_INDEX: false,
-    BUILDER: 'html',
-    FILE_SUFFIX: '.html',
-    LINK_SUFFIX: '.html',
-    HAS_SOURCE: true,
-    SOURCELINK_SUFFIX: '',
-    NAVIGATION_WITH_KEYS: true
-};