diff options
author | David Aguilar <davvid@gmail.com> | 2009-01-16 00:00:02 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2009-01-17 21:40:57 -0800 |
commit | 5c38ea31f345d08f37685cf4f50c599a7af56bcf (patch) | |
tree | 1eefc0e0c9b34a6a594f64c81abe7c76fe203148 /Documentation/git-push.txt | |
parent | bash: refactor 'git log --pretty=<format>' options (diff) | |
download | tgif-5c38ea31f345d08f37685cf4f50c599a7af56bcf.tar.xz |
contrib: add 'git difftool' for launching common merge tools
'git difftool' is a git command that allows you to compare and edit files
between revisions using common merge tools. 'git difftool' does what
'git mergetool' does but its use is for non-merge situations such as
when preparing commits or comparing changes against the index.
It uses the same configuration variables as 'git mergetool' and
provides the same command-line interface as 'git diff'.
Signed-off-by: David Aguilar <davvid@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-push.txt')
0 files changed, 0 insertions, 0 deletions