John Benediktsson 4c54b32170 tools.time: flush the banner so you can use time in a loop.		2012-08-10 15:23:10 -07:00
..
authors.txt	…
summary.txt	…
tags.txt	…
time-docs.factor	…
time-tests.factor	…
time.factor	…