diff options
| author | Thomas Hochstein <thh@inter.net> | 2011-11-14 23:55:52 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2011-11-21 09:14:34 -0800 |
| commit | 1e501a7c47ad5ada53d3b1acfb9f131f76e969ec (patch) | |
| tree | 4250bf0810925d04e1bb4841da0b6b4bc05dc77b /Documentation/git-checkout-index.txt | |
| parent | bd5bce7cbc55fa52277cc8a39f673c3e2dc60670 (diff) | |
| download | git-1e501a7c47ad5ada53d3b1acfb9f131f76e969ec.tar.gz git-1e501a7c47ad5ada53d3b1acfb9f131f76e969ec.tar.xz | |
documentation fix: git difftool uses diff tools, not merge tools.
Let the documentation for -t list valid *diff* tools,
not valid *merge* tools.
Signed-off-by: Thomas Hochstein <thh@inter.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-checkout-index.txt')
0 files changed, 0 insertions, 0 deletions