Updated docu.

2015-06-06 18:50:22 +02:00
parent 57aa160278
commit 307c4d998b
1073 changed files with 16543 additions and 6400 deletions
--- a/search/searchdata.js
+++ b/search/searchdata.js
@@ -4,12 +4,12 @@ var indexSectionsWithContent =
  1: "bcdfnpst",
  2: "abcflnpst",
  3: "abcefgilnprstu",
-  4: "abcdfhmnopstvwxy",
-  5: "bcnst",
+  4: "abcdfhlmnopstuvwxy",
+  5: "bcfnst",
  6: "ft",
-  7: "fnpt",
-  8: "abcefinpsu",
-  9: "abcfgmnpst"
+  7: "adefinoprstu",
+  8: "abcdefilnpsuxy",
+  9: "abcfglmnpst"
 };

 var indexSectionNames =