branch -d: refuse deleting a branch which is currently checked out
[gitweb.git] / gitk-git /
drwxr-xr-x   parent (dest: ; base: f292244c04d8109ee32a45016ce08984fbd925f0)
-rw-r--r-- 2158 Makefile
-rwxr-xr-x 348785 gitk
drwxr-xr-x - po