Update docs

2023-10-24 21:49:13 +02:00
parent bd67af34c0
commit 36ee519964
35 changed files with 2280 additions and 424 deletions
--- a/docs/search/searchdata.js
+++ b/docs/search/searchdata.js
@@ -2,7 +2,7 @@ var indexSectionsWithContent =
 {
  0: "_abcdefkmpqrstuvw",
  1: "ps",
-  2: "cfmptu",
+  2: "acfmptu",
  3: "acefmprstvw",
  4: "bdkmpqrtv",
  5: "sv",