Mention post-update when we first talk about publishing a repository.
[git.git] / tools / 
tree700aa6f7f5dacf0b2c21bbe0b25c293839aa4e9f
drwxr-xr-x   ..
-rw-r--r-- 27 .gitignore
-rw-r--r-- 450 Makefile
-rwxr-xr-x 2693 git-applymbox
-rwxr-xr-x 2675 git-applypatch
-rw-r--r-- 15096 mailinfo.c
-rw-r--r-- 2537 mailsplit.c