Make git-pull complain and give advice when there is nothing to merge with
[gitweb.git] / git-gui /
drwxr-xr-x   parent (dest: ; base: 8fc293cb1e639c9ea555a8e95e3a7801fc1d1be8)
-rwxr-xr-x 1812 GIT-VERSION-GEN
-rw-r--r-- 5870 Makefile
-rwxr-xr-x 66221 git-gui.sh
drwxr-xr-x - lib