documentation fix: git difftool uses diff tools, not merge tools.
authorThomas Hochstein <thh@inter.net>
Mon, 14 Nov 2011 22:55:52 +0000 (23:55 +0100)
committerJunio C Hamano <gitster@pobox.com>
Mon, 21 Nov 2011 17:14:34 +0000 (09:14 -0800)
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>
No differences found