diff options
author | Junio C Hamano <gitster@pobox.com> | 2018-05-23 16:07:42 +0900 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-05-23 16:07:42 +0900 |
commit | b9d9d90d180cf21baeeb16bd89828d25c7901470 (patch) | |
tree | a40241052af8d4f5543b66581e3f0235cfae0af3 /git-prune.txt | |
parent | ccb8252b46bfba5daf0cfcedaf0f9d2e14ba356f (diff) | |
download | git-htmldocs-b9d9d90d180cf21baeeb16bd89828d25c7901470.tar.gz |
Autogenerated HTML docs for v2.17.0-775-ge144d
Diffstat (limited to 'git-prune.txt')
-rw-r--r-- | git-prune.txt | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/git-prune.txt b/git-prune.txt index a37c0af93..03552dd86 100644 --- a/git-prune.txt +++ b/git-prune.txt @@ -56,8 +56,8 @@ OPTIONS reachable from any of our references, keep objects reachable from listed <head>s. -EXAMPLE -------- +EXAMPLES +-------- To prune objects not used by your repository or another that borrows from your repository via its @@ -67,7 +67,7 @@ borrows from your repository via its $ git prune $(cd ../another && git rev-parse --all) ------------ -Notes +NOTES ----- In most cases, users will not need to call 'git prune' directly, but |