Merge branch 'maint'
commit5c054a985a5b7e758f48353ac03582c9b2a9f919
authorJunio C Hamano <gitster@pobox.com>
Mon, 9 Jul 2007 01:28:31 +0000 (8 18:28 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 9 Jul 2007 01:28:31 +0000 (8 18:28 -0700)
treefd7b293e45a73c805ff6130bfcf48ad123953f58
parent82576ddb70d0a2ed88fa3fee2f4ad05ab5b77401
parentccd71866b0c7253f988c4836eeb888e4abcc2da1
Merge branch 'maint'

* 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
Documentation/tutorial.txt
Documentation/user-manual.txt