PPI: Add methods to IntervalTimer to change the timer interval
[senf.git] / include / senf / local_config.hh
1 ../../local_config.hh