log future.h @ 142:fd085d61e4ca

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()