var searchData=
[
  ['internal_20details',['Internal details',['../group__Details.html',1,'']]]
];