2008-01-13 | Johannes Schindelin | [PATCH] gitk: make Ctrl "+" really increase the font... Signed-off-by: Johannes Schindelin <Johannes.Schindelin@gmx.de> |
commit | commitdiff | tree |
2008-01-13 | Johannes Schindelin | [PATCH] gitk: make Ctrl "+" really increase the font... Signed-off-by: Johannes Schindelin <Johannes.Schindelin@gmx.de> |
commit | commitdiff | tree |