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