[PATCH] diff: fix the culling of unneeded delete record.
[gitweb.git] / mozilla-sha1 /
drwxr-xr-x   parent (dest: ; base: 2cd68882ee8629f9782be017007fff4c78e45e45)
-rw-r--r-- 4486 sha1.c
-rw-r--r-- 1723 sha1.h