var files =
[
    [ "buffio.h", "buffio_8h.html", "buffio_8h" ],
    [ "platform.h", "platform_8h_source.html", null ],
    [ "tidy.h", "tidy_8h.html", "tidy_8h" ],
    [ "tidyenum.h", "tidyenum_8h_source.html", null ]
];