diff options
author | Martin Ågren <martin.agren@gmail.com> | 2018-09-27 21:12:21 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-09-27 15:29:11 -0700 |
commit | 4893d717a4e3bcb15822246d6bb2f294861b1ade (patch) | |
tree | d2a19bd2b6ed08dad689b8fcf4837d8656f72145 /Documentation/technical | |
parent | git-commit-graph.txt: typeset more in monospace (diff) | |
download | tgif-4893d717a4e3bcb15822246d6bb2f294861b1ade.tar.xz |
git-commit-graph.txt: refer to "*commit*-graph file"
This document sometimes refers to the "commit-graph file" as just "the
graph file". This saves a couple of words here and there at the risk of
confusion. In particular, the documentation for `git commit-graph read`
appears to suggest that there are indeed different types of graph files.
Let's just write out the full name everywhere.
The full name, by the way, is not the dash-less "commit graph file".
Use the dashed form. (The next commit will fix the remaining few
instances of the "commit graph file" in this document.)
Signed-off-by: Martin Ågren <martin.agren@gmail.com>
Reviewed-by: Derrick Stolee <dstolee@microsoft.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/technical')
0 files changed, 0 insertions, 0 deletions