diff options
author | Jean-Noël Avila <jn.avila@free.fr> | 2023-12-25 21:21:27 +0000 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2023-12-26 11:06:57 -0800 |
commit | 51e846e673ca749273534d063082627a561f7622 (patch) | |
tree | bed7bc58bb40637f6627b0e7bf3178aa47348e9d /Documentation/git-difftool.txt | |
parent | 2162f9f6f86df4f49c3a716b5beb3952104ea8b8 (diff) | |
download | git-51e846e673ca749273534d063082627a561f7622.tar.gz |
doc: enforce placeholders in documentation
Any string that is not meant to be used verbatim in the documentation
should be marked as a placeholder.
Signed-off-by: Jean-Noël Avila <jn.avila@free.fr>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-difftool.txt')
-rw-r--r-- | Documentation/git-difftool.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/git-difftool.txt b/Documentation/git-difftool.txt index 50cb080085..c05f97aca9 100644 --- a/Documentation/git-difftool.txt +++ b/Documentation/git-difftool.txt @@ -90,7 +90,7 @@ instead. `--no-symlinks` is the default on Windows. --extcmd=<command>:: Specify a custom command for viewing diffs. 'git-difftool' ignores the configured defaults and runs - `$command $LOCAL $REMOTE` when this option is specified. + `<command> $LOCAL $REMOTE` when this option is specified. Additionally, `$BASE` is set in the environment. -g:: |