diff options
| author | Dmitry Potapov <dpotapov@gmail.com> | 2008-04-14 16:17:31 +0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-04-22 21:53:37 -0700 |
| commit | 208641cf850125a23ccca99630ea2caa70953e44 (patch) | |
| tree | 403c7a285bf97079a1ffede521aef1963e31b462 /Documentation/git-push.txt | |
| parent | 34b5cd1fe9f9130b747388a1a968a8d4c9906865 (diff) | |
| download | git-208641cf850125a23ccca99630ea2caa70953e44.tar.gz | |
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>
Diffstat (limited to 'Documentation/git-push.txt')
0 files changed, 0 insertions, 0 deletions