[plug] Timer library/functions

[Christian]

On Fri, Apr 07, 2000 at 02:02:33PM +0800, Bevan Broun wrote:
> 
> see man ftime, I think it's what you want.

Ah, thanks... I think it does. :)