On Sun, Sep 8, 2013 at 8:59 AM, Paolo Carlini wrote:
> Hi Gaby,
>
>
> On 09/08/2013 03:41 PM, Gabriel Dos Reis wrote:
>>
>> On Sun, Sep 8, 2013 at 8:00 AM, Paolo Carlini
>> wrote:
>>>
>>> Hi all, Gaby,
>>>
>>> in this bug Manuel noticed that the zeros in the diagnostic lines of the
>>> form:
>>>
Hi Gaby,
On 09/08/2013 03:41 PM, Gabriel Dos Reis wrote:
On Sun, Sep 8, 2013 at 8:00 AM, Paolo Carlini wrote:
Hi all, Gaby,
in this bug Manuel noticed that the zeros in the diagnostic lines of the
form:
:0:0:
don't provide useful information. Thus the below just avoids printing the
zer
On Sun, Sep 8, 2013 at 8:00 AM, Paolo Carlini wrote:
> Hi all, Gaby,
>
> in this bug Manuel noticed that the zeros in the diagnostic lines of the
> form:
>
> :0:0:
>
> don't provide useful information. Thus the below just avoids printing the
> zeros basing directly on the file name: admittedl
Hi all, Gaby,
in this bug Manuel noticed that the zeros in the diagnostic lines of the
form:
:0:0:
don't provide useful information. Thus the below just avoids printing
the zeros basing directly on the file name: admittedly, it may seem a
bit gross, but in practice the strcmp would oft
