]> asedeno.scripts.mit.edu Git - git.git/tree
gitk: Fix a bug in drawing the selected line as a thick line
-rwxr-xr-x 103844 gitk