[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH 1/2] doc: fix spacing

From: Paul Eggert
Subject: Re: [PATCH 1/2] doc: fix spacing
Date: Thu, 12 Jul 2012 08:15:49 -0700
User-agent: Mozilla/5.0 (X11; Linux i686; rv:13.0) Gecko/20120615 Thunderbird/13.0.1

On 07/12/2012 01:53 AM, Jim Meyering wrote:
> I'd say grep, but we'd need more context to filter out false positives.

I'm afraid that grep is what I used, and yes,
it required some manual filtering.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]