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

[Vincent Lefevre]

On Fri, Aug 02, 2002 at 07:38:03 -0700, Paul Eggert wrote:
> > Yes, but for 'diff', they are useless.
> 
> They won't be useless once 'patch -Z' and 'patch -T' is extended to
> support them.  We need to think of the future.

This is what I said by "particular cases". Anyway, as long as there is
an option to remove the fractional digits, this is OK.

-- 
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