mirror of
https://github.com/git/git.git
synced 2026-01-26 00:37:18 +09:00
This adds completion for difftool's --tool flag. The known diff tool names were also consolidated into a single variable. Signed-off-by: David Aguilar <davvid@gmail.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>