var files_dup =
[
    [ "Build", "dir_4335ce4a64d0d4f9f4c8f0a782dfdfeb.html", null ],
    [ "Docs", "dir_5baf679cf4943df8904dce5d41d4d3dc.html", "dir_5baf679cf4943df8904dce5d41d4d3dc" ],
    [ "Jolt", "dir_d99289a5d3c46cf26f14ff6c90658d9f.html", "dir_d99289a5d3c46cf26f14ff6c90658d9f" ]
];