docs/html/search/pages_7.js

var searchData=
[
  ['pools_0',['Custom memory pools',['../custom_pools.html',1,'optimal_allocation']]]
];