PPI/RateFilter: added interval getter
[senf.git] / include / senf / local_config.hh
1 ../../local_config.hh