diff options
author | David Aguilar <davvid@gmail.com> | 2009-05-24 00:24:41 +0000 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2009-05-24 11:21:05 -0700 |
commit | b6f0621a462e4ff11999c8e2d8279c0ffd3be201 (patch) | |
tree | c054ccc5f9f12c8db69de036c9d868a458ca2d48 /Documentation/git-mergetool.txt | |
parent | 4481ff048df4c86021d783de6f099909495f04ff (diff) | |
download | git-b6f0621a462e4ff11999c8e2d8279c0ffd3be201.tar.gz |
mergetool--lib: add support for araxis merge
Araxis merge is now a built-in diff/merge tool.
This adds araxis to git-completion and updates
the documentation to mention araxis.
Signed-off-by: David Aguilar <davvid@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-mergetool.txt')
-rw-r--r-- | Documentation/git-mergetool.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/git-mergetool.txt b/Documentation/git-mergetool.txt index ff9700d17a..68ed6c0956 100644 --- a/Documentation/git-mergetool.txt +++ b/Documentation/git-mergetool.txt @@ -27,7 +27,7 @@ OPTIONS Use the merge resolution program specified by <tool>. Valid merge tools are: kdiff3, tkdiff, meld, xxdiff, emerge, vimdiff, gvimdiff, ecmerge, - diffuse, tortoisemerge and opendiff + diffuse, tortoisemerge, opendiff and araxis. + If a merge resolution program is not specified, 'git-mergetool' will use the configuration variable `merge.tool`. If the |