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 /diff-lib.c | |
| parent | f0d407e6ae8dfe89683d86ebaba5f6f08959e8b3 (diff) | |
| parent | 11a3d3aadd3ec1747a4cb216b2676aeb07c0d64b (diff) | |
| download | git-07f25ad8b235c2682a36ee76d59734ec3f08c413.tar.gz | |
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 'diff-lib.c')
0 files changed, 0 insertions, 0 deletions