diff options
author | Junio C Hamano <gitster@pobox.com> | 2016-07-06 13:06:44 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2016-07-06 13:06:44 -0700 |
commit | 1c22105f2ce6795035f4d030325127dab9736caa (patch) | |
tree | c2b5aa110206bc0cdd2ff9e855ad0d5dd0be13d2 /t/t4034/ada/pre | |
parent | Merge branch 'pc/occurred' into maint (diff) | |
parent | fetch: document that pruning happens before fetching (diff) | |
download | tgif-1c22105f2ce6795035f4d030325127dab9736caa.tar.xz |
Merge branch 'jk/fetch-prune-doc' into maint
Minor doc update.
* jk/fetch-prune-doc:
fetch: document that pruning happens before fetching
Diffstat (limited to 't/t4034/ada/pre')
0 files changed, 0 insertions, 0 deletions