|
From: | Paul Eggert |
Subject: | [bug #30792] --ignore-dir should not override files passed on the command line |
Date: | Sat, 24 Dec 2011 10:36:08 +0000 |
User-agent: | Mozilla/5.0 (Ubuntu; X11; Linux i686; rv:8.0) Gecko/20100101 Firefox/8.0 |
Follow-up Comment #2, bug #30792 (project grep): It's definitely a bug. I discovered the bug independently and submitted a patch to address@hidden just now -- I was about to file a bug report and discovered your bug. The patch is in <http://lists.gnu.org/archive/html/bug-grep/2011-12/msg00035.html>. _______________________________________________________ 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] |