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.
Oliver
_______________________________________________
Nmh-workers mailing list
Nmh-workers(_at_)nongnu(_dot_)org
https://lists.nongnu.org/mailman/listinfo/nmh-workers