Slava Pestov e90fd3b942 Fix usage note in dns vocab, move tools.dns from basis to extra since dns vocab is in extra		2011-02-25 21:08:00 -08:00
..
dns	Fix usage note in dns vocab, move tools.dns from basis to extra since dns vocab is in extra	2011-02-25 21:08:00 -08:00
time/struct	rename benchmark.struct to tools.time.struct since it is not a benchmark	2010-08-11 21:51:19 -07:00