Archives are refreshed every 15 minutes - for details, please visit
the main index
.
You can also
download the archives in mbox format
.
grep-devel (date)
[
Thread Index
][
Top
][
All Lists
][
grep-devel info page
]
Advanced
[
Prev Period
]
Last Modified: Mon May 29 2023 17:27:12 -0400
Messages in reverse chronological order
[
Next Period
]
May 29, 2023
Re: How to profile the grep engine despite the "/dev/null optimization" ?
,
alexandre . ferrieux
,
17:27
Re: How to profile the grep engine despite the "/dev/null optimization" ?
,
Zev Weiss
,
17:18
May 27, 2023
How to profile the grep engine despite the "/dev/null optimization" ?
,
alexandre . ferrieux
,
17:28
May 13, 2023
grep-3.11 released [stable]
,
Jim Meyering
,
05:21
May 04, 2023
Re: grep-3.10.19-2ea9 testing results
,
Jim Meyering
,
06:18
May 03, 2023
Re: grep-3.10.19-2ea9 testing results
,
Bruno Haible
,
16:50
Re: grep-3.10.19-2ea9 testing results
,
Bruno Haible
,
16:39
[
Prev Period
]
[
Next Period
]
Mail converted by
MHonArc