commit | 390c3480b2bcdc5c254db1a81ff163d7f7061f40 | [log] [tgz] |
---|---|---|
author | Alexander Gavrilov <angavrilov@gmail.com> | Sun Dec 14 22:44:32 2008 +0300 |
committer | Junio C Hamano <gitster@pobox.com> | Sun Dec 14 16:43:25 2008 -0800 |
tree | 972d304ee3beb726f22a785f98ea6a5d384b90dd | |
parent | 2fad5329f4bc03e2328a2994d336c12a9683d9b2 [diff] |
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>