Slava Pestov f51b7b2677 Fix tools.time output in the TTY listener		2009-04-30 20:03:52 -05:00
..
authors.txt	…
summary.txt	…
tags.txt	…
time-docs.factor	…
time.factor	Fix tools.time output in the TTY listener	2009-04-30 20:03:52 -05:00