]> asedeno.scripts.mit.edu Git - git.git/tree
[PATCH] Teach gitk to use the user-defined UI font everywhere.
-rwxr-xr-x 175662 gitk