mirror of
https://github.com/git/git
synced 2024-08-24 18:26:02 +00:00
fixed link in documentation of diff-options
Signed-off-by: Steffen Prohaska <prohaska@zib.de> Signed-off-by: Junio C Hamano <gitster@pobox.com>
This commit is contained in:
parent
5946d4ba89
commit
63a1f810a6
|
@ -179,8 +179,8 @@
|
|||
|
||||
--ext-diff::
|
||||
Allow an external diff helper to be executed. If you set an
|
||||
external diff driver with gitlink:gitattributes(5), you need
|
||||
to use this option with gitlink:git-log(1) and friends.
|
||||
external diff driver with gitlink:gitattributes[5], you need
|
||||
to use this option with gitlink:git-log[1] and friends.
|
||||
|
||||
--no-ext-diff::
|
||||
Disallow external diff drivers.
|
||||
|
|
Loading…
Reference in a new issue