Merge branch 'maint'
authorJunio C Hamano <gitster@pobox.com>
Mon, 9 Jul 2007 01:28:31 +0000 (18:28 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 9 Jul 2007 01:28:31 +0000 (18:28 -0700)
* maint:
user-manual: fix directory name in git-archive example
user-manual: more explanation of push and pull usage
tutorial: Fix typo
user-manual: grammar and style fixes

1  2 
Documentation/tutorial.txt
Documentation/user-manual.txt
Simple merge
Simple merge