author | Alexander Gavrilov <angavrilov@gmail.com> | |
Sun, 14 Dec 2008 19:44:32 +0000 (22:44 +0300) | ||
committer | Junio C Hamano <gitster@pobox.com> | |
Mon, 15 Dec 2008 00:43:25 +0000 (16:43 -0800) | ||
commit | 390c3480b2bcdc5c254db1a81ff163d7f7061f40 | |
tree | 972d304ee3beb726f22a785f98ea6a5d384b90dd | tree | snapshot |
parent | 2fad5329f4bc03e2328a2994d336c12a9683d9b2 | commit | 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>
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>
Documentation/config.txt | diff | blob | history |