Andrew's git / gitweb.git / diff
?
Merge branch 'jk/fetch-prune-doc' into maint
authorJunio C Hamano <gitster@pobox.com>
Wed, 6 Jul 2016 20:06:44 +0000 (13:06 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 6 Jul 2016 20:06:44 +0000 (13:06 -0700)
Minor doc update.

* jk/fetch-prune-doc:
fetch: document that pruning happens before fetching

1  2 
Documentation/fetch-options.txt patch | diff1 | diff2 | blob | history
diff --cc Documentation/fetch-options.txt
Simple merge