Update docs

2023-10-08 15:07:52 +02:00
parent e9c2db5d73
commit ff1fe59268
61 changed files with 1782 additions and 401 deletions
--- a/docs/search/searchdata.js
+++ b/docs/search/searchdata.js
@@ -3,10 +3,10 @@ var indexSectionsWithContent =
  0: "abcdefkmpqrstuv",
  1: "p",
  2: "cmptu",
-  3: "aefpst",
+  3: "aefmpst",
  4: "bdmpqrv",
  5: "p",
-  6: "dktv",
+  6: "adktv",
  7: "bpt"
 };