mimalloc/docs/search/groups_6.js

var searchData=
[
  ['runtime_20options_321',['Runtime Options',['../group__options.html',1,'']]]
];
update documentation 2019-07-08 17:15:34 -07:00			`var searchData=`
			`[`
update documentation 2021-12-18 16:36:37 -08:00			`['runtime_20options_321',['Runtime Options',['../group__options.html',1,'']]]`
update documentation 2019-07-08 17:15:34 -07:00			`];`