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