Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
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>
- Loading branch information