From: Ciro Santilli Date: Mon, 15 Sep 2014 11:01:46 GMT Subject: Subject: [PATCH] Remove duplicate list of extensions from docs. Message-ID: There is now also the "Split index" extension: probably we forgot to update this line after it was added. We could add the "Split index" to the line, but it would be just a matter of time before another extension is added and this becomes outdated again. So let's just remove it: it is already easy to get a list of extensions by browsing the headers in the "Extensions" section. Signed-off-by: Ciro Santilli --- Documentation/technical/index-format.txt | 2 -- 1 file changed, 2 deletions(-) diff --git a/Documentation/technical/index-format.txt b/Documentation/technical/index-format.txt index fe6f316..59bce02 100644 --- a/Documentation/technical/index-format.txt +++ b/Documentation/technical/index-format.txt @@ -23,8 +23,6 @@ Git index format Extensions are identified by signature. Optional extensions can be ignored if Git does not understand them. - Git currently supports cached tree and resolve undo extensions. - 4-byte extension signature. If the first byte is 'A'..'Z' the extension is optional and can be ignored. -- 1.8.5.2