Re: [PATCH] Documentation: Describe git-gui Tools menu configuration options.
From: Junio C Hamano <hidden>
Date: 2016-06-15 22:45:46
Alexander Gavrilov [off-list ref] 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.