push: point to 'git pull' and 'git push --force' in case of non-fast forward
[git/dscho.git] / gitk-git / 
treed248191f5ce785f2f7ee65e295127569b0316854
drwxr-xr-x   ..
-rw-r--r-- 1771 Makefile
-rw-r--r-- 310688 gitk
drwxr-xr-x - po