push: point to 'git pull' and 'git push --force' in case of non-fast forward
[gitweb.git] / ppc /
drwxr-xr-x   parent (dest: ; base: 07436e43daf1a97d3d702090d6289f745bd5ad90)
-rw-r--r-- 1470 sha1.c
-rw-r--r-- 559 sha1.h
-rw-r--r-- 7443 sha1ppc.S