removed some useless spaces; not very important, I know :)
[senf.git] / PPI / IntervalTimer.cci
2008-02-05 tho removed some useless spaces; not very important, I...
2007-12-28 tho NEW FILE HEADER / COPYRIGHT FORMAT
2007-08-20 g0dil PPI: Use ClockService instead of boost::posix_time