Re: #155150: diff -u displays unnecessary zeros after the seconds (fwd)

[Vincent Lefevre]

On Thu, Aug 01, 2002 at 22:06:59 -0700, Paul Eggert wrote:
> But I'll omit the ".0"; if there are no fractional digits -- there's
> no need to print a tenths digit.

I agree. But even if the file system supports subsecond precision,
I prefer to have no fractional digits (they are not really useful
and are never (or almost never) used in other contexts).

-- 
Vincent Lefèvre <address@hidden> - Web: <http://www.vinc17.org/> - 100%
validated (X)HTML - Acorn Risc PC, Yellow Pig 17, Championnat International
des Jeux Mathématiques et Logiques, TETRHEX, etc.
Work: CR INRIA - computer arithmetic / SPACES project at LORIA