From dd51ec0f1fadd719f5ee298c1c40890f6db1815b Mon Sep 17 00:00:00 2001
From: TravisBot <>
Date: Thu, 12 Oct 2017 13:59:45 +0000
Subject: Rebuilding documentation

---
 search/searchdata.js | 45 ---------------------------------------------
 1 file changed, 45 deletions(-)
 delete mode 100644 search/searchdata.js

(limited to 'search/searchdata.js')

diff --git a/search/searchdata.js b/search/searchdata.js
deleted file mode 100644
index b6f150c4..00000000
--- a/search/searchdata.js
+++ /dev/null
@@ -1,45 +0,0 @@
-var indexSectionsWithContent =
-{
-  0: "abcdefghiklmnopqrstuvwxy~",
-  1: "bcgimprstuvw",
-  2: "y",
-  3: "bcgimprstvwy",
-  4: "abcdefghiklmnopqrstuvwxy~",
-  5: "abcdfghikmnoprstuvwxy",
-  6: "sv",
-  7: "w",
-  8: "bfhs",
-  9: "d",
-  10: "bdpty"
-};
-
-var indexSectionNames =
-{
-  0: "all",
-  1: "classes",
-  2: "namespaces",
-  3: "files",
-  4: "functions",
-  5: "variables",
-  6: "typedefs",
-  7: "enums",
-  8: "enumvalues",
-  9: "related",
-  10: "pages"
-};
-
-var indexSectionLabels =
-{
-  0: "All",
-  1: "Classes",
-  2: "Namespaces",
-  3: "Files",
-  4: "Functions",
-  5: "Variables",
-  6: "Typedefs",
-  7: "Enumerations",
-  8: "Enumerator",
-  9: "Friends",
-  10: "Pages"
-};
-
-- 
cgit