diff options
| author |  Matthieu Moy <Matthieu.Moy@imag.fr> | 2016-06-28 13:40:14 +0200 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2016-06-28 08:36:45 -0700 |
| commit | 57103dbf702557abefc7c8c4578145f9383d6e9d (patch) | |
| tree | 614e9428f4a7d859d7d2d4a6e652d6cbf60cfa2b /t/t4013/diff.diff-tree_--pretty_-p_side | |
| parent | doc: typeset long options with argument as literal (diff) | |
| download | tgif-57103dbf702557abefc7c8c4578145f9383d6e9d.tar.xz | |
CodingGuidelines: formatting HEAD in documentation
The current practice is:
git/Documentation$ git grep "'HEAD'" | wc -l
24
git/Documentation$ git grep "\`HEAD\`" | wc -l
66
Let's adopt the majority as a guideline.
Signed-off-by: Matthieu Moy <Matthieu.Moy@imag.fr>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 't/t4013/diff.diff-tree_--pretty_-p_side')
0 files changed, 0 insertions, 0 deletions