Re: [PATCH] Document diff.external and mergetool.<tool>.path
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Dec 18, 2007, 00:47 UTC
- Message-ID
- <Pine.LNX.4.64.0712180047300.9446@racer.site>
- In-Reply-To
- <7vtzmg5072.fsf@gitster.siamese.dyndns.org>
Hi,
On Mon, 17 Dec 2007, Junio C Hamano wrote:
> Thanks. Applied.
Dumb question: with, or without, the diff.external patch?
Ciao, Dscho