diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2022-06-09 21:17:34 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-06-09 21:17:34 +0000 |
commit | dd63985cfdc47055027c60f775fcd1d760166a25 (patch) | |
tree | c4e21e2889ac08e71cc1e6cc0c984121153d32b1 /search/searchdata.js | |
download | singleapplication-dd63985cfdc47055027c60f775fcd1d760166a25.tar.xz |
Deploy to GitHub pagesgh-pages
Diffstat (limited to 'search/searchdata.js')
-rw-r--r-- | search/searchdata.js | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/search/searchdata.js b/search/searchdata.js new file mode 100644 index 0000000..4d542b0 --- /dev/null +++ b/search/searchdata.js @@ -0,0 +1,30 @@ +var indexSectionsWithContent = +{ + 0: "bceimprsuw", + 1: "s", + 2: "ciprsu", + 3: "ms", + 4: "besu", + 5: "csw" +}; + +var indexSectionNames = +{ + 0: "all", + 1: "classes", + 2: "functions", + 3: "enums", + 4: "enumvalues", + 5: "pages" +}; + +var indexSectionLabels = +{ + 0: "All", + 1: "Classes", + 2: "Functions", + 3: "Enumerations", + 4: "Enumerator", + 5: "Pages" +}; + |