log future.h @ 91:4102fe614df2

age author description
Fri, 22 Mar 2013 16:32:15 +0100 Daniele Nicolodi Fix timestamping. Cleanup data providers
Mon, 18 Mar 2013 12:36:34 +0100 Daniele Nicolodi Implement gettimeofday()