Merge branch 'jl/remote-rm-prune' into maint
[gitweb.git] / gitk-git /
drwxr-xr-x   parent (dest: ; base: c4f79d13b93a7ce53c932c3970403d8f10904d30)
-rw-r--r-- 2158 Makefile
-rwxr-xr-x 344042 gitk
drwxr-xr-x - po