From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Tue, 18 Dec 2007 00:47:47 GMT
Subject: Re: [PATCH] Document diff.external and mergetool.<tool>.path
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