tree 972d304ee3beb726f22a785f98ea6a5d384b90dd
parent 2fad5329f4bc03e2328a2994d336c12a9683d9b2
author Alexander Gavrilov <angavrilov@gmail.com> 1229283872 +0300
committer Junio C Hamano <gitster@pobox.com> 1229301805 -0800

Documentation: Describe git-gui Tools menu configuration options.

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

Signed-off-by: Alexander Gavrilov <angavrilov@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>