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>
git-mirror · Jul 13, 2010 · 1b79d1c · 1b79d1c
1 parent 312a30e
commit 1b79d1c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Documentation/fetch-options.txt b/Documentation/fetch-options.txt
@@ -34,6 +34,7 @@ ifndef::git-pull[]
 	Allow several <repository> and <group> arguments to be
 	specified. No <refspec>s may be specified.
 
+-p::
 --prune::
 	After fetching, remove any remote tracking branches which
 	no longer exist	on the remote.