Built mkdocs

2021-06-08 14:02:49 +02:00
parent 7db2647d7f
commit 384a72ee15
190 changed files with 3234 additions and 576 deletions
--- a/docs/search/searchdata.js
+++ b/docs/search/searchdata.js
@@ -1,14 +1,14 @@
 var indexSectionsWithContent =
 {
  0: "acdfghiklmoprstvw~",
-  1: "fhilpsv",
+  1: "cfhilpsv",
  2: "h",
-  3: "dfhilpsv",
+  3: "cdfhilpsv",
  4: "acdfghikloprstvw~",
  5: "cdgmrt",
  6: "d",
  7: "filsv",
-  8: "ho",
+  8: "co",
  9: "h"
 };