simonb ccc205ceda Add '-t' option for tcsh-style time output.		2020-04-23 07:54:53 +00:00
..
Makefile	…
ext.h	…
time.1	…
time.c	…
xtime.c	…