var log_8h =
[
    [ "FATAL", "log_8h.html#a053d6037d543b84ce59308ce71d15cd1", null ],
    [ "TRACE", "log_8h.html#a21cc0459b78d5f2d7bd737e5aae1278a", null ]
];