]> asedeno.scripts.mit.edu Git - git.git/tree
gitk: Use the UI font for the diff/old version/new version radio buttons
-rwxr-xr-x 236260 gitk