var files_dup =
[
    [ "doc", "dir_6c89d1ed406002b4e6ebce07fb51a507.html", null ],
    [ "doc", "dir_e68e8157741866f444e17edd764ebbae.html", null ],
    [ "examples", "dir_d28a4824dc47e487b107a5db32ef43c4.html", "dir_d28a4824dc47e487b107a5db32ef43c4" ],
    [ "include", "dir_d44c64559bbebec7f509842c48db8b23.html", "dir_d44c64559bbebec7f509842c48db8b23" ],
    [ "src", "dir_68267d1309a1af8e8297ef4c3efbcdba.html", "dir_68267d1309a1af8e8297ef4c3efbcdba" ]
];