]> git.ipfire.org Git - thirdparty/git.git/commitdiff
projects / thirdparty / git.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: e8b96bd 1a1fc2d)
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 patch | diff1 | diff2 | blob | history

diff --cc builtin/prune.c
Simple merge
Unnamed repository; edit this file 'description' to name the repository.