Merge branch 'mm/maint-doc-commit-edit' into maint
commitcf48960b6dd5c0d8b8767fa0088bd166e619de57
authorJunio C Hamano <gitster@pobox.com>
Tue, 20 Nov 2012 18:14:55 +0000 (20 10:14 -0800)
committerJunio C Hamano <gitster@pobox.com>
Tue, 20 Nov 2012 18:14:55 +0000 (20 10:14 -0800)
tree768fbd43352e95a6cdf42d68d2023ea1981c537f
parentcdcd79321390b41df452c48c5ba9d1e4cc23a801
parentae45320c40e255362b39f6ff609f759927fbd096
Merge branch 'mm/maint-doc-commit-edit' into maint

* mm/maint-doc-commit-edit:
  Document 'git commit --no-edit' explicitly
Documentation/git-commit.txt