[PATCH] Use $DESTDIR instead of $dest
[git.git] / tools /
drwxr-xr-x   ..
-rw-r--r-- 447 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