git-merge-one-file: do not worry about 'rmdir -p' not removing directory.
[gitweb.git] / ppc /
drwxr-xr-x   parent (dest: ; base: ce3ca275452cf069eb6451d6f5b0f424a6f046aa)
-rw-r--r-- 1419 sha1.c
-rw-r--r-- 396 sha1.h
-rw-r--r-- 3711 sha1ppc.S