[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: #155150: diff -u displays unnecessary zeros after the seconds (fwd)
|
From: |
Paul Eggert |
|
Subject: |
Re: #155150: diff -u displays unnecessary zeros after the seconds (fwd) |
|
Date: |
Thu, 1 Aug 2002 22:06:59 -0700 (PDT) |
> From: Miles Bader <address@hidden>
> Date: 02 Aug 2002 10:08:44 +0900
>
> So why not just put `.0' for systems with second-precision, and specify
> that anyone who wants to extract the time info from patch files should
> treat the sub-second info as a number?
OK, OK, you talked me into it. :-)
But I'll omit the ".0"; if there are no fractional digits -- there's
no need to print a tenths digit.
- Bug#155150: diff -u displays unnecessary zeros after the seconds (fwd), Santiago Vila, 2002/08/01
- Re: Bug#155150: diff -u displays unnecessary zeros after the seconds (fwd), Vincent Lefevre, 2002/08/01
- Re: #155150: diff -u displays unnecessary zeros after the seconds (fwd), Santiago Vila, 2002/08/01
- Re: #155150: diff -u displays unnecessary zeros after the seconds (fwd), Vincent Lefevre, 2002/08/01
- Re: #155150: diff -u displays unnecessary zeros after the seconds (fwd), Paul Eggert, 2002/08/01
- Re: #155150: diff -u displays unnecessary zeros after the seconds (fwd), Miles Bader, 2002/08/01
- Re: #155150: diff -u displays unnecessary zeros after the seconds (fwd),
Paul Eggert <=
- Re: #155150: diff -u displays unnecessary zeros after the seconds (fwd), Vincent Lefevre, 2002/08/02
- Re: #155150: diff -u displays unnecessary zeros after the seconds (fwd), Paul Eggert, 2002/08/02
- Re: #155150: diff -u displays unnecessary zeros after the seconds (fwd), Vincent Lefevre, 2002/08/02
- Re: #155150: diff -u displays unnecessary zeros after the seconds (fwd), Paul Eggert, 2002/08/02
- Re: #155150: diff -u displays unnecessary zeros after the seconds (fwd), Vincent Lefevre, 2002/08/02