|
| From: | Massimo Gengarelli |
| Subject: | Re: `rgrep' not working |
| Date: | Mon, 01 Dec 2014 10:03:33 +0100 |
Alex Kost writes: > It's a bug and it was fixed several days ago: > <http://debbugs.gnu.org/cgi/bugreport.cgi?bug=19171>. Thanks a lot ! I should have tried the latest sources before sending the message :-) mg
| [Prev in Thread] | Current Thread | [Next in Thread] |