use clock_gettime for internal timers instead of gettimeofday .. so now our
[enigma2.git] / NavigationInstance.py
2005-05-16 Felix Domke - add missing files