gitweb: Relabel "head" as "HEAD"
[gitweb.git] / xdiff /
drwxr-xr-x   parent (dest: ; base: f35274dad8e617c1ea2c55c2b7b0fbbcb1abd8ae)
-rw-r--r-- 2457 xdiff.h
-rw-r--r-- 14882 xdiffi.c
-rw-r--r-- 1731 xdiffi.h
-rw-r--r-- 4943 xemit.c
-rw-r--r-- 1088 xemit.h
-rw-r--r-- 1255 xinclude.h
-rw-r--r-- 1880 xmacros.h
-rw-r--r-- 10953 xprepare.c
-rw-r--r-- 1124 xprepare.h
-rw-r--r-- 1595 xtypes.h
-rw-r--r-- 6877 xutils.c
-rw-r--r-- 1777 xutils.h