diff options
| author | Alexander Gavrilov <angavrilov@gmail.com> | 2008-12-14 22:44:32 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-12-14 16:43:25 -0800 |
| commit | 390c3480b2bcdc5c254db1a81ff163d7f7061f40 (patch) | |
| tree | 972d304ee3beb726f22a785f98ea6a5d384b90dd /pager.c | |
| parent | 2fad5329f4bc03e2328a2994d336c12a9683d9b2 (diff) | |
| download | git-390c3480b2bcdc5c254db1a81ff163d7f7061f40.tar.gz git-390c3480b2bcdc5c254db1a81ff163d7f7061f40.tar.xz | |
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>
Diffstat (limited to 'pager.c')
0 files changed, 0 insertions, 0 deletions