mirror of
https://github.com/git/git.git
synced 2024-10-21 01:08:11 +02:00
76ca653842
We shouldn't try to merge files when using difftool, so remove any merge-specific options. Signed-off-by: David Aguilar <davvid@gmail.com> Signed-off-by: Junio C Hamano <gitster@pobox.com> |
||
---|---|---|
.. | ||
git-difftool | ||
git-difftool-helper | ||
git-difftool.txt |