diff options
| author | Robert P. J. Day <rpjday@crashcourse.ca> | 2017-11-21 10:51:52 -0500 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2017-11-22 12:29:30 +0900 |
| commit | 1a1fc2d5b5b84bc7a6c7ebe1cd8c8f7587314b59 (patch) | |
| tree | e1b22c8eb773503ee8eb9da04164149ab1b9e2c3 /revision.c | |
| parent | 9752ad0bb79f680bca48db7adc45338b298304b0 (diff) | |
| download | git-rd/man-prune-progress.tar.gz | |
prune: add "--progress" to man page and usage msgrd/man-prune-progresspd/man-prune-progress
Add mention of git prune's "--progress" option to the SYNOPSIS and
DESCRIPTION sections of the man page, and to the usage message of "git
prune" itself.
While we're here, move the explanation of "--" toward the end of the
DESCRIPTION section, where it belongs.
Signed-off-by: Robert P. J. Day <rpjday@crashcourse.ca>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'revision.c')
0 files changed, 0 insertions, 0 deletions