"remote prune": be quiet when there is nothing to prune
[git/gitbuild.git] / gitk-git / 
tree87e116003a8e9ecd08cb28d20d63532ec91b3cfc
drwxr-xr-x   ..
-rw-r--r-- 1771 Makefile
-rw-r--r-- 273398 gitk
drwxr-xr-x - po