diff options
author | Junio C Hamano <gitster@pobox.com> | 2022-08-18 14:13:08 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2022-08-18 14:13:08 -0700 |
commit | 04495a1941c77d95cb6ad521f45451da4f714af2 (patch) | |
tree | ad4d9204d5b4c2ac489f99a1051faa1bf48d6ed7 /user-manual.txt | |
parent | 472c81a0f3cf8038d39479da1e3840ac33fe6ef8 (diff) | |
download | git-htmldocs-04495a1941c77d95cb6ad521f45451da4f714af2.tar.gz |
Autogenerated HTML docs for v2.37.2-382-g795ea
Diffstat (limited to 'user-manual.txt')
-rw-r--r-- | user-manual.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/user-manual.txt b/user-manual.txt index 865074bed..ca9decdd9 100644 --- a/user-manual.txt +++ b/user-manual.txt @@ -3133,7 +3133,7 @@ those "loose" objects. You can save space and make Git faster by moving these loose objects in to a "pack file", which stores a group of objects in an efficient compressed format; the details of how pack files are formatted can be -found in link:technical/pack-format.html[pack format]. +found in link:gitformat-pack[5]. To put the loose objects into a pack, just run git repack: |