Re: [PATCH v3] gitk: Use git-difftool for external diffs
- From
Markus Heidelberg <markus.heidelberg@web.de>
- Date
- Mar 28, 2010, 10:59 UTC
- Message-ID
- <201003281259.06947.markus.heidelberg@web.de>
- In-Reply-To
- <1269735600-12769-1-git-send-email-davvid@gmail.com>
David Aguilar, 2010-03-28 01:20:
> + set cmd [list "git" "difftool" "--no-prompt" "--extcmd" $extdifftool]
According to "man gitcli" this should be "--extcmd=$extdifftool".
Besides this, works for me.
Markus