var files_dup =
[
    [ "Datum.h", "_datum_8h_source.html", null ],
    [ "evfordulo.h", "evfordulo_8h_source.html", null ],
    [ "memtrace.h", "memtrace_8h_source.html", null ],
    [ "Naptar.h", "_naptar_8h_source.html", null ]
];