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

From: Oren Held <[email-masked]>
Date: Mon, 12 Jul 2010 18:44:24 +0300

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