var files_dup =
[
    [ "build", "dir_4fef79e7177ba769987a8da36c892c5f.html", "dir_4fef79e7177ba769987a8da36c892c5f" ],
    [ "include", "dir_a0bcac9b8c5bd919b4edddb33f95ce77.html", "dir_a0bcac9b8c5bd919b4edddb33f95ce77" ]
];