var files_dup =
[
    [ "build-docs", "dir_8c6d2b7fb0f1009468191a56b06a1387.html", "dir_8c6d2b7fb0f1009468191a56b06a1387" ],
    [ "corelib", "dir_04d49acea3c42cab2afcd35cb2f2a48f.html", "dir_04d49acea3c42cab2afcd35cb2f2a48f" ],
    [ "utilite", "dir_7c77c469ef71e5893c1567cf621a9d83.html", "dir_7c77c469ef71e5893c1567cf621a9d83" ]
];