diff doc/html/search/searchdata.js @ 117:ca2d83d29814 tip master

Merge branch 'release/1.0.5'
author Adam Stark <adamstark.uk@gmail.com>
date Fri, 18 Aug 2023 20:07:33 +0200
parents d6d9df2db3e1
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 20:07:33 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"
+};
+