PPI: Use ClockService instead of boost::posix_time
[senf.git] / PPI / IntervalTimer.cc
2007-08-20 g0dil PPI: Use ClockService instead of boost::posix_time