var namespaces_dup =
[
    [ "fourdst", "namespacefourdst.html", "namespacefourdst" ],
    [ "std", "namespacestd.html", "namespacestd" ]
];