gitk: Add option 'Simple history' to the options menu
treebbd59c633cdec21b6c4a81d6ca434234d2615524
-rw-r--r-- 1771 Makefile
-rwxr-xr-x 310682 gitk
drwxr-xr-x - po