gitk: Add a 'rename' option to the branch context menu
-rw-r--r-- 2158 Makefile
-rwxr-xr-x 350341 gitk
drwxr-xr-x - po