var group__app__simple__timer__config =
[
    [ "SIMPLE_TIMER_CONFIG_FREQUENCY", "group__app__simple__timer__config.html#ga7fb61918e0ba4f8be9b2e4febd273b2e", null ],
    [ "SIMPLE_TIMER_CONFIG_INSTANCE", "group__app__simple__timer__config.html#ga9489f03fc754deae9c9aa61451fb0260", null ],
    [ "SIMPLE_TIMER_ENABLED", "group__app__simple__timer__config.html#ga5f14584e0e4c9be28b12f998cc713d4b", null ]
];