diff options
| author | Junio C Hamano <gitster@pobox.com> | 2008-01-20 16:57:56 -0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-01-20 16:57:56 -0800 |
| commit | a41acc63badf20cbb22cca61039dca9309deaa19 (patch) | |
| tree | 872c96231f21f9e49347ba0222e871908969a5fe /server-info.c | |
| parent | 3057ded057f17add305cd38fe0b73173e94c540e (diff) | |
| parent | 646f3a149d1cc8a6511a433cd2a51987d7582463 (diff) | |
| download | git-a41acc63badf20cbb22cca61039dca9309deaa19.tar.gz git-a41acc63badf20cbb22cca61039dca9309deaa19.tar.xz | |
Merge git://git.kernel.org/pub/scm/gitk/gitk
* git://git.kernel.org/pub/scm/gitk/gitk:
[PATCH] gitk: make Ctrl "+" really increase the font size
Diffstat (limited to 'server-info.c')
0 files changed, 0 insertions, 0 deletions