David Given 52eaf753b6 rpi has a time() function; don't try to call gettimeofday().		2016-08-20 14:03:19 +02:00
..
config.h	rpi has a time() function; don't try to call gettimeofday().	2016-08-20 14:03:19 +02:00