var searchData=
[
  ['warn_5fpop_5fignore_5fdeprecated_2ehpp',['warn_pop_ignore_deprecated.hpp',['../warn__pop__ignore__deprecated_8hpp.html',1,'']]],
  ['warn_5fpush_5fignore_5fdeprecated_2ehpp',['warn_push_ignore_deprecated.hpp',['../warn__push__ignore__deprecated_8hpp.html',1,'']]]
];
