Merge git-tools repository under "tools" subdirectory
[gitweb.git] / tools /
drwxr-xr-x   parent (dest: ; base: 98e031f0bb6e857c684e6db24d03d22cfc1a532a)
-rw-r--r-- 233 Makefile
-rwxr-xr-x 999 applymbox
-rwxr-xr-x 1645 applypatch
-rw-r--r-- 4563 mailinfo.c
-rw-r--r-- 2526 mailsplit.c