diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2020-08-31 15:49:52 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2020-08-31 15:49:52 -0700 |
| commit | cacab0c8566084901cd0f8ed6c9e1c4a5dc63677 (patch) | |
| tree | 416f3e9c8881652ce29ae6bd03d6fa83a165e693 /Documentation/git-mergetool--lib.txt | |
| parent | Merge branch 'jc/ident-whose-ident' (diff) | |
| parent | revision: set rev_input_given in handle_revision_arg() (diff) | |
| download | tgif-cacab0c8566084901cd0f8ed6c9e1c4a5dc63677.tar.xz | |
Merge branch 'jk/rev-input-given-fix'
Feeding "$ZERO_OID" to "git log --ignore-missing --stdin", and
running "git log --ignore-missing $ZERO_OID" fell back to start
digging from HEAD; it has been corrected to become a no-op, like
"git log --tags=no-tag-matches-this-pattern" does.
* jk/rev-input-given-fix:
revision: set rev_input_given in handle_revision_arg()
Diffstat (limited to 'Documentation/git-mergetool--lib.txt')
0 files changed, 0 insertions, 0 deletions