Slava Pestov 7d4b64e361 rename benchmark.struct to tools.time.struct since it is not a benchmark		2010-08-11 21:51:19 -07:00
..
struct	rename benchmark.struct to tools.time.struct since it is not a benchmark	2010-08-11 21:51:19 -07:00