diff options
| author |  Oren Held <oren@held.org.il> | 2010-07-13 15:01:40 +0300 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2010-07-13 09:13:34 -0700 |
| commit | 1b79d1c2a8a90419238f7213870ab1dc465082fe (patch) | |
| tree | 9c6ad3622292746914ac3843188d0d213f83f934 /Documentation/git-replace.txt | |
| parent | format-patch: document the format.to configuration setting (diff) | |
| download | tgif-1b79d1c2a8a90419238f7213870ab1dc465082fe.tar.xz | |
git fetch documentation: describe short '-p' synonym to '--prune' option
It's already implemented, just undocumented.
Signed-off-by: Oren Held <orenhe@il.ibm.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-replace.txt')
0 files changed, 0 insertions, 0 deletions