var group__app__timer__config =
[
    [ "APP_TIMER_ENABLED", "group__app__timer__config.html#ga1ea0ec26e9a4de10a74ba45489e24e05", null ],
    [ "APP_TIMER_KEEPS_RTC_ACTIVE", "group__app__timer__config.html#ga0d10afa54afc4b68394f69c2367b1b11", null ],
    [ "APP_TIMER_WITH_PROFILER", "group__app__timer__config.html#gae9fe3213110194f105f5173e29a6ad77", null ]
];