git-fetch & config doc: link to the new PRUNING section
authorÆvar Arnfjörð Bjarmason <avarab@gmail.com>
Fri, 9 Feb 2018 20:32:13 +0000 (20:32 +0000)
committerJunio C Hamano <gitster@pobox.com>
Fri, 9 Feb 2018 21:10:12 +0000 (13:10 -0800)
commit627a129...46530773369586f7982925fd41dc7227
tree1e79967...746caac777d32fbcd4fe1b9a685664c1copy hash to clipboard (tree)
parentd0e0747...faa938c83e9b1f76567f16614672668ccopy hash to clipboard (diff)
Documentation/config.txt
Documentation/fetch-options.txt