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/git-difftool.txt | |
parent | fe73786b482f11e7a37a269c95d222a384fc5a39 (diff) | |
download | git-48a8c26c625a4d3631c4f614bceb38933e741408.tar.gz |
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/git-difftool.txt')
0 files changed, 0 insertions, 0 deletions