Merge branch 'maint' of git://repo.or.cz/git-gui into maint
[gitweb.git] / xdiff /
drwxr-xr-x   parent (dest: ; base: 9269df96105dff5ecc137b598ac7664d218ac6be)
-rw-r--r-- 2926 xdiff.h
-rw-r--r-- 14800 xdiffi.c
-rw-r--r-- 1797 xdiffi.h
-rw-r--r-- 5250 xemit.c
-rw-r--r-- 1087 xemit.h
-rw-r--r-- 1254 xinclude.h
-rw-r--r-- 1913 xmacros.h
-rw-r--r-- 10773 xmerge.c
-rw-r--r-- 10952 xprepare.c
-rw-r--r-- 1123 xprepare.h
-rw-r--r-- 1594 xtypes.h
-rw-r--r-- 7732 xutils.c
-rw-r--r-- 1776 xutils.h