diff options
author | David Aguilar <davvid@gmail.com> | 2009-04-06 12:31:27 +0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2009-04-08 09:19:56 +0400 |
commit | e2dc2de917778a0601564e238c3cd61614f55e5f (patch) | |
tree | cfc1ce95aba50eba711f65323b20a9c80ae60534 /git-mergetool.sh | |
parent | a904392eaeee1629c0ac14dae8e579bb8497636a (diff) |
bash completion: add git-difftool
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>
Diffstat (limited to 'git-mergetool.sh')
0 files changed, 0 insertions, 0 deletions