[PATCH] Install tools with "make install-tools".
[git/gitweb.git] / tools / 
tree1e600604c4e7fbb49aa88c4b9ccf22d47cef180f
drwxr-xr-x   ..
-rw-r--r-- 376 Makefile
-rwxr-xr-x 1715 applymbox
-rwxr-xr-x 1645 applypatch
-rw-r--r-- 4734 mailinfo.c
-rw-r--r-- 2526 mailsplit.c