Make tools use DESTDIR as well (otherwise rpm build is broken).
[gitweb.git] / tools /
drwxr-xr-x   parent (dest: ; base: 8c5989029215227230cccc9b5da54e798e2f2029)
-rw-r--r-- 450 Makefile
-rwxr-xr-x 2234 git-applymbox
-rwxr-xr-x 1645 git-applypatch
-rw-r--r-- 4713 mailinfo.c
-rw-r--r-- 2537 mailsplit.c