]> asedeno.scripts.mit.edu Git - git.git/tree
gitk: Use named fonts instead of the font specification
-rwxr-xr-x 230214 gitk