diff options
| author | Ævar Arnfjörð Bjarmason <avarab@gmail.com> | 2022-08-04 19:28:37 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2022-08-05 00:12:23 +0300 |
| commit | 00d3e8d7dd9ece6fe89dafff384ff32444754211 (patch) | |
| tree | c3a1170e077b9aaa504c7b910e738899615031ef /command-list.txt | |
| parent | 5db921054e685a4dbaeb622acda53d6a154e947f (diff) | |
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 |