|
| From: | Dmitry Gutov |
| Subject: | Re: master 544db1e: Faster grep pattern for identifiers |
| Date: | Wed, 15 Sep 2021 21:06:09 +0300 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.13.0 |
On 15.09.2021 19:33, Eli Zaretskii wrote:
And what about the "alternative Grep's"?
The author of the commit uses one such Grep. I also tested with ripgrep, to similar success.
| [Prev in Thread] | Current Thread | [Next in Thread] |