K 10
svn:author
V 7
stefanf
K 8
svn:date
V 27
2005-12-04T18:44:21.000000Z
K 7
svn:log
V 246
Add the times builtin.  It reports the user and system time for the shell
itself and its children.  Instead of calling times() (as implied by POSIX) this
implementation directly calls getrusage() to get the times because this is more
convenient.

END