diff options
author | Ævar Arnfjörð Bjarmason <avarab@gmail.com> | 2022-08-04 18:28:37 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2022-08-04 23:12:23 +0200 |
commit | 00d3e8d7dd9ece6fe89dafff384ff32444754211 (patch) | |
tree | c3a1170e077b9aaa504c7b910e738899615031ef /command-list.txt | |
parent | docs: move protocol-related docs to man section 5 (diff) | |
download | git-00d3e8d7dd9ece6fe89dafff384ff32444754211.tar.xz git-00d3e8d7dd9ece6fe89dafff384ff32444754211.zip |
docs: move index format docs to man section 5
Continue the move of existing Documentation/technical/* protocol and
file-format documentation into our main documentation space by moving
the index format documentation.
Signed-off-by: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'command-list.txt')
-rw-r--r-- | command-list.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/command-list.txt b/command-list.txt index ed859fdd79..5e8d838668 100644 --- a/command-list.txt +++ b/command-list.txt @@ -211,6 +211,7 @@ giteveryday guide gitfaq guide gitformat-bundle developerinterfaces gitformat-commit-graph developerinterfaces +gitformat-index developerinterfaces gitglossary guide githooks userinterfaces gitignore userinterfaces |