diff doc/html/search/searchdata.js @ 114:d6d9df2db3e1

Update documentation
author Adam Stark <adamstark.uk@gmail.com>
date Fri, 18 Aug 2023 10:48:26 +0200
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc/html/search/searchdata.js	Fri Aug 18 10:48:26 2023 +0200
@@ -0,0 +1,30 @@
+var indexSectionsWithContent =
+{
+  0: "abcdfgioprsuw~",
+  1: "bco",
+  2: "bco",
+  3: "abcdfgioprsu~",
+  4: "ow",
+  5: "b"
+};
+
+var indexSectionNames =
+{
+  0: "all",
+  1: "classes",
+  2: "files",
+  3: "functions",
+  4: "enums",
+  5: "pages"
+};
+
+var indexSectionLabels =
+{
+  0: "All",
+  1: "Classes",
+  2: "Files",
+  3: "Functions",
+  4: "Enumerations",
+  5: "Pages"
+};
+