Paul Fox wrote:
> i do. and i just spent some quality time with the git-grep man page,
> hoping that it had a -prune option. it doesn't. :-/ i'm surprised --
I'd recommend ag (the_silver_searcher) over git grep. It isn't specific
to git repositories. It also does have a --ignore option for pruning.
Even with that I'd agree with Ralph that the historical stuff would be
better off kept in a separate branch.
Nmh-workers mailing list