push: support pushing HEAD to real branch name
[gitweb.git] / xdiff /
drwxr-xr-x   parent (dest: ; base: 47d996a20c3347bb9efbb44e8ed2d615cfdffba3)
-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