diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2016-08-10 11:55:29 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2016-08-10 11:55:29 -0700 |
| commit | 7b163e918772736b69252053913ba5ccc24adb4d (patch) | |
| tree | 0352673d01121d6578ffd25b2a15f7b438b2d707 /fmt-merge-msg.h | |
| parent | Merge branch 'jk/diff-do-not-reuse-wtf-needs-cleaning' into maint (diff) | |
| parent | grep: further simplify setting the pattern type (diff) | |
| download | tgif-7b163e918772736b69252053913ba5ccc24adb4d.tar.xz | |
Merge branch 'jc/grep-commandline-vs-configuration' into maint
"git -c grep.patternType=extended log --basic-regexp" misbehaved
because the internal API to access the grep machinery was not
designed well.
* jc/grep-commandline-vs-configuration:
grep: further simplify setting the pattern type
Diffstat (limited to 'fmt-merge-msg.h')
0 files changed, 0 insertions, 0 deletions