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)
commitc3d2d34...bf64c1d39e8bec03fea85ef14aeda692
treeec47764...f3cef2cb96bded8971a03b07d7513a4ccopy hash to clipboard (tree)
parente8b96bd...53524f1e77f35e6d12120a692a3e4844copy hash to clipboard (diff)
parent1a1fc2d...b5b84bc7a6c7ebe1cd8c8f7587314b59copy hash to clipboard (diff)
builtin/prune.c