git-gc --prune is deprecated
commit208641cf850125a23ccca99630ea2caa70953e44
authorDmitry Potapov <dpotapov@gmail.com>
Mon, 14 Apr 2008 12:17:31 +0000 (14 16:17 +0400)
committerJunio C Hamano <gitster@pobox.com>
Wed, 23 Apr 2008 04:53:37 +0000 (22 21:53 -0700)
tree403c7a285bf97079a1ffede521aef1963e31b462
parent34b5cd1fe9f9130b747388a1a968a8d4c9906865
git-gc --prune is deprecated

25ee9731c137d0a24b0f4879eb0b0cce9b77d5b0 made the '--prune' option
deprecated and removed its description from the git-gc man page. This
patch removes all references to this option from the rest of the Git
documentation.

Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/everyday.txt
Documentation/user-manual.txt