K 10
svn:author
V 3
bde
K 8
svn:date
V 27
1998-08-17T17:53:12.000000Z
K 7
svn:log
V 321
Backed out previous commit.  The seconds part of microtime() is
not the necessarily the same as the seconds part of getmicrotime()
yet, and anyway, we should have used `time_second' if we only wanted
a sloppy value for the seconds part.  There is no point in making
ibcs2's time(2) more efficient than FreeBSD's time(3).

END