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

[Paul Eggert]

> Date: Fri, 2 Aug 2002 10:24:03 +0200
> From: Vincent Lefevre <address@hidden>
> 
> 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).

GNU 'ls' and GNU 'make' use them to determine whether files are out of
date.  They are certainly useful for GNU 'make' on fast hosts.