[PATCH] Document update-server-info.
[gitweb.git] / tools /
drwxr-xr-x   parent (dest: ; base: 61e3ef3620493834ed5997d56d481c171d8bd5ac)
-rw-r--r-- 376 Makefile
-rwxr-xr-x 1715 applymbox
-rwxr-xr-x 1645 applypatch
-rw-r--r-- 4713 mailinfo.c
-rw-r--r-- 2526 mailsplit.c