var files_dup =
[
    [ "lzma", "dir_b17a1d403082bd69a703ed987cf158fb.html", "dir_b17a1d403082bd69a703ed987cf158fb" ],
    [ "lzma.h", "lzma_8h.html", null ]
];