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

Oren Held· Jul 12, 2010, 15:44 UTC · lore

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

Show changes to Documentation/fetch-options.txt +0 −0

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

patch(trivial) Doc: git fetch: add -p to options list