|
| From: | Paul Eggert |
| Subject: | [bug #30792] --ignore-dir should not override files passed on the command line |
| Date: | Fri, 02 Mar 2012 17:51:56 +0000 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:10.0.1) Gecko/20100101 Firefox/10.0.1 |
Update of bug #30792 (project grep):
Status: None => Fixed
Open/Closed: Open => Closed
_______________________________________________________
Follow-up Comment #3:
The patch has been applied to the grep master so I'm marking this bug as
fixed.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?30792>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
| [Prev in Thread] | Current Thread | [Next in Thread] |