Markus Wick 86226cb2b9 Merge pull request #1979 from Mullin/head
Use clock_gettime instead of gettimeofday, it's more efficiency on low power system
2015-02-18 21:54:16 +01:00
..
2015-01-26 21:26:54 -06:00
2015-01-12 22:28:12 -05:00
2015-01-03 13:17:57 +01:00