var searchData=
[
  ['rendezvous',['Rendezvous',['../group__coreinit__rendezvous.html',1,'']]]
];