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@nongnu.org https://lists.nongnu.org/mailman/listinfo/nmh-workers
