From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 15 Dec 2008 00:43:16 GMT
Subject: Re: [PATCH] Documentation: Describe git-gui Tools menu configuration options.
Message-ID: <7vhc561d5n.fsf@gitster.siamese.dyndns.org>
In-Reply-To: <200812142244.32438.angavrilov@gmail.com>

Alexander Gavrilov <angavrilov@gmail.com> writes:

> Now git gui has a customizable Tools menu, so this adds
> information about variables that are used to configure it.

I'll apply this as-is to include in -rc3; git-gui users please proofread
and send in any updates/fixes if necessary.