diff options
author | Matthieu Moy <Matthieu.Moy@imag.fr> | 2016-06-28 13:40:15 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2016-06-28 08:36:45 -0700 |
commit | 661c3e9bc064564a492281364413dc805eaddf95 (patch) | |
tree | b431c2aeae8d4a17ecafd61fc1e1dc77bbaa04ba /Documentation/gitremote-helpers.txt | |
parent | 57103dbf702557abefc7c8c4578145f9383d6e9d (diff) | |
download | git-661c3e9bc064564a492281364413dc805eaddf95.tar.gz |
doc: typeset HEAD and variants as literalmm/doc-tt
This is an application of the newly added CodingGuidelines to HEAD and
variants like FETCH_HEAD. It was obtained with:
perl -pi -e "s/'([A-Z_]*HEAD)'/\`\$1\`/g" *.txt
Signed-off-by: Matthieu Moy <Matthieu.Moy@imag.fr>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/gitremote-helpers.txt')
-rw-r--r-- | Documentation/gitremote-helpers.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/gitremote-helpers.txt b/Documentation/gitremote-helpers.txt index 53ce1d099c..a4de50ad22 100644 --- a/Documentation/gitremote-helpers.txt +++ b/Documentation/gitremote-helpers.txt @@ -298,7 +298,7 @@ Supported if the helper has the "fetch" capability. is followed by a blank line). For example, the following would be two batches of 'push', the first asking the remote-helper to push the local ref 'master' to the remote ref 'master' and - the local 'HEAD' to the remote 'branch', and the second + the local `HEAD` to the remote 'branch', and the second asking to push ref 'foo' to ref 'bar' (forced update requested by the '+'). + |