Documentation: git push repository can also be a remote
[gitweb.git] / mozilla-sha1 /
drwxr-xr-x   parent (dest: ; base: 98347fee9bbff2676dff39895f9419b129d92e43)
-rw-r--r-- 4536 sha1.c
-rw-r--r-- 1895 sha1.h