diff options
author | Junio C Hamano <gitster@pobox.com> | 2018-08-02 15:30:44 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-08-02 15:30:44 -0700 |
commit | 87ece7ce1133ebc5d339cad5f6f92c02e5fc712d (patch) | |
tree | 80a92c51969d8893f56b74a595ab9c260cca1091 /git-mergetool--lib.sh | |
parent | 562413eb2938b7a1aa85a2ae157ef162d51e55dc (diff) | |
parent | 9d8db06eb4a5d5577db559a0059a377914c1ce5a (diff) | |
download | git-87ece7ce1133ebc5d339cad5f6f92c02e5fc712d.tar.gz |
Merge branch 'tb/grep-only-matching'
"git grep" learned the "--only-matching" option.
* tb/grep-only-matching:
grep.c: teach 'git grep --only-matching'
grep.c: extract show_line_header()
Diffstat (limited to 'git-mergetool--lib.sh')
0 files changed, 0 insertions, 0 deletions