[PATCH] (trivial) Doc: git fetch: add -p to options list

From

OHOren Held <oren@held.org.il>

Date

Jul 12, 2010, 15:44 UTC

Message-ID

<4C3B3858.9070008@held.org.il>

It's acting the same as --prune, yet undocumented.
---
  Documentation/fetch-options.txt |    1 +
  1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/Documentation/fetch-options.txt 
b/Documentation/fetch-options.txt
index 044ec88..9333c42 100644
--- 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.

-- 
1.7.1