mergetool--lib: add support for araxis merge
authorDavid Aguilar <redacted>
Sun, 24 May 2009 00:24:41 +0000 (00:24 +0000)
committerJunio C Hamano <redacted>
Sun, 24 May 2009 18:21:05 +0000 (11:21 -0700)
commitb6f0621a462e4ff11999c8e2d8279c0ffd3be201
treec054ccc5f9f12c8db69de036c9d868a458ca2d48
parent4481ff048df4c86021d783de6f099909495f04ff
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 <redacted>
Signed-off-by: Junio C Hamano <redacted>
Documentation/git-difftool.txt
Documentation/git-mergetool.txt
Documentation/merge-config.txt
contrib/completion/git-completion.bash
git-mergetool--lib.sh
git clone https://git.99rst.org/PROJECT