From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 16 Aug 2011 17:43:16 GMT
Subject: Re: [PATCH] mergetool--lib: add diffmerge as a pre-configured mergetool option
Message-ID: <7v8vqti763.fsf@alter.siamese.dyndns.org>
In-Reply-To: <20110816100949.GA10859@gmail.com>

David Aguilar <davvid@gmail.com> writes:

> Is it okay if we install the files into
> $(git --exec-path)/mergetools/ instead?

Surely, and thanks.

It is much better than "$(git --exec-path)/mergetools--$backend" ;-).