Merge branch 'rd/man-prune-progress'
authorJunio C Hamano <gitster@pobox.com>
Wed, 6 Dec 2017 17:23:39 +0000 (09:23 -0800)
committerJunio C Hamano <gitster@pobox.com>
Wed, 6 Dec 2017 17:23:39 +0000 (09:23 -0800)
Doc update.

* rd/man-prune-progress:
prune: add "--progress" to man page and usage msg

1  2 
builtin/prune.c
diff --cc builtin/prune.c
Simple merge