add search js files for docs

2024-06-04 14:58:58 -07:00
parent dee7faa6d8
commit ab1cdbbde3
12 changed files with 50 additions and 0 deletions
--- a/docs/search/groups_a.js
+++ b/docs/search/groups_a.js
@@ -0,0 +1,5 @@
+var searchData=
+[
+  ['re_20allocation_0',['Zero initialized re-allocation',['../group__zeroinit.html',1,'']]],
+  ['runtime_20options_1',['Runtime Options',['../group__options.html',1,'']]]
+];