Updated API doc

2017-08-15 21:22:51 +02:00
parent 1e22cdd80e
commit a7b72ec5b2
607 changed files with 118825 additions and 0 deletions
--- a/doc/api/search/searchdata.js
+++ b/doc/api/search/searchdata.js
@@ -0,0 +1,30 @@
+var indexSectionsWithContent =
+{
+  0: "_abcdefghilmnopqrstuvwyz",
+  1: "_abcdefghilmnopqrstuvw",
+  2: "abcdefghilmnopqrstuvwyz",
+  3: "abdfhilmqsuvw",
+  4: "acefgimptv",
+  5: "o"
+};
+
+var indexSectionNames =
+{
+  0: "all",
+  1: "files",
+  2: "functions",
+  3: "typedefs",
+  4: "groups",
+  5: "pages"
+};
+
+var indexSectionLabels =
+{
+  0: "All",
+  1: "Files",
+  2: "Functions",
+  3: "Typedefs",
+  4: "Modules",
+  5: "Pages"
+};
+