ignore new git-diff index header when computing patch ids
[gitweb.git] / compat /
drwxr-xr-x   parent (dest: ; base: 9fabdedc0edd4ff150197a53cc3032e7bf27c4d4)
-rw-r--r-- 438 strcasestr.c
-rw-r--r-- 39931 subprocess.py