docs/html/search/all_7.js

var searchData=
[
  ['lost_20allocations_28',['Lost allocations',['../lost_allocations.html',1,'']]]
];