|
| 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.
| [Prev in Thread] | Current Thread | [Next in Thread] |