diff options
| author |  J. Bruce Fields <bfields@citi.umich.edu> | 2007-03-18 23:02:14 -0400 |
|---|---|---|
| committer | J. Bruce Fields <bfields@citi.umich.edu> | 2007-03-18 23:06:00 -0400 |
| commit | 81b6c950dede5bca60dac0834de25b6f30ec10bb (patch) | |
| tree | 321d91d80ac47a1bb730ac1fa37183ee615a2184 /Documentation/git-grep.txt | |
| parent | glossary: clean up cross-references (diff) | |
| download | tgif-81b6c950dede5bca60dac0834de25b6f30ec10bb.tar.xz | |
user-manual: introduce "branch" and "branch head" differently
I was using "branch" to mean "head", but that's perhaps a little
sloppy; so instead start by using the terms "branch head" and "head",
while still quickly falling back on "branch", since that's what
people actually say more frequently.
Also include glossary references on the first uses of "head" and "tag".
Signed-off-by: "J. Bruce Fields" <bfields@citi.umich.edu>
Diffstat (limited to 'Documentation/git-grep.txt')
0 files changed, 0 insertions, 0 deletions