var searchData=
[
  ['ignore_0',['ignore',['../namespacedetail.html#a7c070b2bf3d61e3d8b8013f6fb18d592a567bc1d268f135496de3d5b946b691f3',1,'detail::ignore'],['../namespacedetail.html#abe7cfa1fd8fa706ff4392bff9d1a8298a567bc1d268f135496de3d5b946b691f3',1,'detail::ignore']]]
];