Update docs

2023-10-19 18:37:42 +02:00
parent 76dd30df23
commit 14a6d4ba15
73 changed files with 2865 additions and 1062 deletions
--- a/docs/search/searchdata.js
+++ b/docs/search/searchdata.js
@@ -1,9 +1,9 @@
 var indexSectionsWithContent =
 {
  0: "_abcdefkmpqrstuvw",
-  1: "p",
+  1: "ps",
  2: "cmptu",
-  3: "aefmprstvw",
+  3: "acefmprstvw",
  4: "bdkmpqrtv",
  5: "sv",
  6: "p",