gitk: Arrange to kill diff-files & diff-index on quit
tree04547f9f682208dc9447fe0d0d201f0f025d93a1
-rw-r--r-- 1771 Makefile
-rwxr-xr-x 273965 gitk
drwxr-xr-x - po