?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
[PATCH] gitk: make Ctrl "+" really increase the font size
2008-01-13 Johannes Schindelin[PATCH] gitk: make Ctrl "+" really increase the font...
...off-by: Johannes Schindelin <Johannes.Schindelin@gmx.de>
 commit | commitdiff | tree
Dscho's miscellaneous git branches