PPI: Add methods to IntervalTimer to change the timer interval
[senf.git] / senfscons / __init__.py