Subject: [PATCH] Remove duplicate list of extensions from docs.

From: Ciro Santilli <ciro.santilli@gmail.com>
Date: Sep 15, 2014, 11:01 UTC
Message-ID: <CAFXrp_cgb0GDHbNtcNqfhE4PEO+bLAWMojL-CegPCGiDJsiNcQ@mail.gmail.com>

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 <ciro.santilli@gmail.com>
---
 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