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