var searchData=
[
  ['folly_0',['folly',['../namespacefolly.html',1,'']]]
];