diff options
| author | Oren Held <oren@held.org.il> | 2010-07-13 16:01:40 +0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2010-07-13 20:13:34 +0400 |
| commit | 1b79d1c2a8a90419238f7213870ab1dc465082fe (patch) | |
| tree | 9c6ad3622292746914ac3843188d0d213f83f934 /advice.h | |
| parent | 312a30eb5d1926df19c756ba89561507f3cefdc7 (diff) | |
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 'advice.h')
0 files changed, 0 insertions, 0 deletions