diff options
author | Thomas Ackermann <th.acker@arcor.de> | 2013-01-21 20:16:20 +0100 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2013-02-01 13:53:25 -0800 |
commit | 48a8c26c625a4d3631c4f614bceb38933e741408 (patch) | |
tree | 97b1a550b575ecd250370cac842ecba58aa93d87 /Documentation/technical/index-format.txt | |
parent | Update draft release notes to 1.8.2 (diff) | |
download | tgif-48a8c26c625a4d3631c4f614bceb38933e741408.tar.xz |
Documentation: avoid poor-man's small caps GIT
In the earlier days, we used to spell the name of the system as GIT,
to simulate as if it were typeset with capital G and IT in small
caps. Later we stopped doing so at around 1.6.5 days.
Let's stop doing so throughout the documentation. The name to refer
to the whole system (and the concept it embodies) is "Git"; the
command end-users type is "git". And document this in the coding
guideline.
Signed-off-by: Thomas Ackermann <th.acker@arcor.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/technical/index-format.txt')
-rw-r--r-- | Documentation/technical/index-format.txt | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Documentation/technical/index-format.txt b/Documentation/technical/index-format.txt index 7324154838..6a05ee2363 100644 --- a/Documentation/technical/index-format.txt +++ b/Documentation/technical/index-format.txt @@ -1,4 +1,4 @@ -GIT index format +Git index format ================ == The git index file has the following format @@ -21,9 +21,9 @@ GIT index format - Extensions Extensions are identified by signature. Optional extensions can - be ignored if GIT does not understand them. + be ignored if Git does not understand them. - GIT currently supports cached tree and resolve undo extensions. + 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. |