(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: Junio C Hamano <hidden>
Date: 2016-06-15 22:44:00

Thanks.  Applied.