diff options
author | Junio C Hamano <gitster@pobox.com> | 2019-10-11 14:24:48 +0900 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2019-10-11 14:24:49 +0900 |
commit | 07f25ad8b235c2682a36ee76d59734ec3f08c413 (patch) | |
tree | f96da7ae73aa102fc70288cd76a0a991c8ac0bc9 /Documentation/user-manual.txt | |
parent | Merge branch 'kt/add-i-progress' (diff) | |
parent | git-rev-list.txt: prune options in synopsis (diff) | |
download | tgif-07f25ad8b235c2682a36ee76d59734ec3f08c413.tar.xz |
Merge branch 'dl/rev-list-doc-cleanup'
Doc update.
* dl/rev-list-doc-cleanup:
git-rev-list.txt: prune options in synopsis
Diffstat (limited to 'Documentation/user-manual.txt')
0 files changed, 0 insertions, 0 deletions