Changeset f66f990 in flex_extract.git for documentation/Sphinx/build/html/_static/doctools.js

Timestamp:

Mar 8, 2019, 10:00:34 AM (5 years ago)

Author:

Anne Philipp <anne.philipp@…>

Branches:

master, ctbto, dev

Children:

b4a4777

Parents:

8778c5a

Message:

deleted jobscripts for tracking and updated Sphinx doc

File:

• documentation/Sphinx/build/html/_static/doctools.js (modified) (1 diff)

documentation/Sphinx/build/html/_static/doctools.js

@@ -151 +151 @@
     this.highlightSearchWords();
     this.initIndexTable();
-    if (DOCUMENTATION_OPTIONS.NAVIGATION_WITH_KEYS) {
-      this.initOnKeyListeners();
-    }
+    
   },