Move docs

2023-09-28 16:21:19 +02:00
parent 85a12f2e08
commit 69864f7059
151 changed files with 0 additions and 0 deletions
--- a/docs/search/searchdata.js
+++ b/docs/search/searchdata.js
@@ -0,0 +1,36 @@
+var indexSectionsWithContent =
+{
+  0: "abcdefkmpqrstuv",
+  1: "p",
+  2: "cmptu",
+  3: "aefpst",
+  4: "bdmpqrv",
+  5: "p",
+  6: "dktv",
+  7: "bpt"
+};
+
+var indexSectionNames =
+{
+  0: "all",
+  1: "classes",
+  2: "files",
+  3: "functions",
+  4: "variables",
+  5: "related",
+  6: "defines",
+  7: "pages"
+};
+
+var indexSectionLabels =
+{
+  0: "All",
+  1: "Classes",
+  2: "Files",
+  3: "Functions",
+  4: "Variables",
+  5: "Friends",
+  6: "Macros",
+  7: "Pages"
+};
+