[PATCH] Document update-server-info.
[git/jrn.git] / tools / 
tree3d172459369a5e28a300fa525719608a239ad624
drwxr-xr-x   ..
-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