Merge branch 'maint'
authorJunio C Hamano <gitster@pobox.com>
Sun, 10 Jun 2007 23:45:08 +0000 (16:45 -0700)
committerJunio C Hamano <gitster@pobox.com>
Sun, 10 Jun 2007 23:45:08 +0000 (16:45 -0700)
* maint:
tutorial: use "project history" instead of "changelog" in header
Documentation: user-manual todo
user-manual: add a missing section ID
Fix typo in remote branch example in git user manual
user-manual: quick-start updates

1  2 
Documentation/user-manual.txt
Simple merge