push: rename config variable for more general use
[gitweb.git] / xdiff /
drwxr-xr-x   parent (dest: ; base: 1184564eac8ef6c82da068a31f60aee0d6870265)
-rw-r--r-- 3638 xdiff.h
-rw-r--r-- 15439 xdiffi.c
-rw-r--r-- 1988 xdiffi.h
-rw-r--r-- 6194 xemit.c
-rw-r--r-- 1268 xemit.h
-rw-r--r-- 9177 xhistogram.c
-rw-r--r-- 1254 xinclude.h
-rw-r--r-- 1966 xmacros.h
-rw-r--r-- 15463 xmerge.c
-rw-r--r-- 10108 xpatience.c
-rw-r--r-- 12267 xprepare.c
-rw-r--r-- 1123 xprepare.h
-rw-r--r-- 1594 xtypes.h
-rw-r--r-- 11023 xutils.c
-rw-r--r-- 1784 xutils.h