diff options
| author | David Aguilar <davvid@gmail.com> | 2009-04-06 01:31:27 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2009-04-07 22:19:56 -0700 |
| commit | e2dc2de917778a0601564e238c3cd61614f55e5f (patch) | |
| tree | cfc1ce95aba50eba711f65323b20a9c80ae60534 /git-gui/lib | |
| 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-gui/lib')
0 files changed, 0 insertions, 0 deletions