diff options
author | Junio C Hamano <gitster@pobox.com> | 2012-10-03 14:50:51 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2012-10-09 23:21:29 -0700 |
commit | 34a4ae55b260bbd1520d6a7c6718b4de2d5c7632 (patch) | |
tree | 7c1c93cc63969f00dacb03d11edc4a61de5c8165 /Documentation/diff-config.txt | |
parent | revisions: initialize revs->grep_filter using grep_init() (diff) | |
download | tgif-34a4ae55b260bbd1520d6a7c6718b4de2d5c7632.tar.xz |
log --grep: use the same helper to set -E/-F options as "git grep"
The command line option parser for "git log -F -E --grep='<ere>'"
did not flip the "fixed" bit, violating the general "last option
wins" principle among conflicting options.
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/diff-config.txt')
0 files changed, 0 insertions, 0 deletions