var namespaces_dup = [ [ "stroid", "namespacestroid.html", "namespacestroid" ] ];