var files_dup =
[
    [ "sci_gateway", "dir_72f63e20bdfb01de9a5d3d7e75733504.html", "dir_72f63e20bdfb01de9a5d3d7e75733504" ],
    [ "src", "dir_68267d1309a1af8e8297ef4c3efbcdba.html", "dir_68267d1309a1af8e8297ef4c3efbcdba" ],
    [ "thirdparty", "dir_7f51fab15f37f4c20c90b1af38889ac7.html", "dir_7f51fab15f37f4c20c90b1af38889ac7" ]
];