1 files changed, 48 insertions, 0 deletions
diff --git a/20.02/search/searchdata.js b/20.02/search/searchdata.js
new file mode 100644
index 0000000000..7797f6d1d5
--- /dev/null
+++ b/20.02/search/searchdata.js
@@ -0,0 +1,48 @@
+var indexSectionsWithContent =
+{
+  0: "0abcdefghijklmnopqrstuvwyz~",
+  1: "abcdefghijlmnopqrstuvwy",
+  2: "ais",
+  3: "0abcdefghijlmnopqrstuvwy",
+  4: "abcdefghijlmnopqrstuvwyz~",
+  5: "abcdfghilmnopstuvwy",
+  6: "abcdefghiklmnopqrstuvw",
+  7: "abcdegijlmnoprstuwy",
+  8: "abcdefghilmnopqrstuw",
+  9: "gprs",
+  10: "abcdefghmstuv",
+  11: "biopt"
+};
+
+var indexSectionNames =
+{
+  0: "all",
+  1: "classes",
+  2: "namespaces",
+  3: "files",
+  4: "functions",
+  5: "variables",
+  6: "typedefs",
+  7: "enums",
+  8: "enumvalues",
+  9: "related",
+  10: "defines",
+  11: "pages"
+};
+
+var indexSectionLabels =
+{
+  0: "All",
+  1: "Classes",
+  2: "Namespaces",
+  3: "Files",
+  4: "Functions",
+  5: "Variables",
+  6: "Typedefs",
+  7: "Enumerations",
+  8: "Enumerator",
+  9: "Friends",
+  10: "Macros",
+  11: "Pages"
+};
+