gitk: Use a tabbed dialog to edit preferences
tree3f7bb059458cd2b0194d3d04546a54cbe497ea43
-rw-r--r-- 1771 Makefile
-rwxr-xr-x 327119 gitk
drwxr-xr-x - po