(off-list ancestor, not in this archive)
Re: [PATCH] Document diff.external and mergetool.<tool>.path · Junio C Hamano <hidden> · 2016-06-15
Re: [PATCH] Document diff.external and mergetool.<tool>.path · Johannes Schindelin <hidden> · 2016-06-15

Re: [PATCH] Document diff.external and mergetool.<tool>.path

From: Johannes Schindelin <hidden>
Date: 2016-06-15 22:44:00

Hi,

On Mon, 17 Dec 2007, Junio C Hamano wrote:

Thanks.  Applied.

Dumb question: with, or without, the diff.external patch?

Ciao,
Dscho