var searchData=
[
  ['garbage_20collection',['Garbage collection',['../group__gc.html',1,'']]],
  ['garbage_20collection',['Garbage collection',['../group__prim__gc.html',1,'']]]
];