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 /builtin/submodule--helper.c | |
parent | 9d3d0dbb14fa529492d828485b1f65aa9e0ed199 (diff) | |
parent | 9e70233a17f158f499c60ff82c20c7646fde66e8 (diff) | |
download | git-1c22105f2ce6795035f4d030325127dab9736caa.tar.gz git-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 'builtin/submodule--helper.c')
0 files changed, 0 insertions, 0 deletions