use clock_gettime for internal timers instead of gettimeofday .. so now our
[enigma2.git] / tools.py
2005-03-21 Felix Domkeadded tools