Merge branch 'maint' of git://repo.or.cz/git-gui into maint
[gitweb.git] / xdiff /
drwxr-xr-x   parent (dest: ; base: e98d6df75260312e906278705f78f2eee39cc8fc)
-rw-r--r-- 2926 xdiff.h
-rw-r--r-- 14787 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-- 7720 xutils.c
-rw-r--r-- 1776 xutils.h