diff options
| author |  J. Bruce Fields <bfields@citi.umich.edu> | 2006-05-29 19:31:32 -0400 |
|---|---|---|
| committer |  Junio C Hamano <junkio@cox.net> | 2006-05-29 23:14:44 -0700 |
| commit | 2be1bc48ffe04d97ca61e2b7988e6870cd37766b (patch) | |
| tree | 492fd2cc7f7e1b78f90190a661818c4c498f574e /Documentation/git-prune.txt | |
| parent | Fix some documentation typoes (diff) | |
| download | tgif-2be1bc48ffe04d97ca61e2b7988e6870cd37766b.tar.xz | |
documentation: mention gitk font adjustment in tutorial
Kind of silly, but the font I get by default in gitk makes it mostly
unusable for me, so this is the first thing I'd want to know about.
(But maybe there's a better suggestion than just Ctrl-='ing until
satisfied.)
Signed-off-by: J. Bruce Fields <bfields@citi.umich.edu>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Documentation/git-prune.txt')
0 files changed, 0 insertions, 0 deletions