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