Merge branch 'as/doc-for-devs' into maint
commitffcd76bda9ef08a714a6a5c4c2df86c338479a09
authorJunio C Hamano <gitster@pobox.com>
Sun, 23 Dec 2012 04:37:33 +0000 (22 20:37 -0800)
committerJunio C Hamano <gitster@pobox.com>
Sun, 23 Dec 2012 04:37:33 +0000 (22 20:37 -0800)
tree73cab7b4c3ef38d98078a165ec2d3716b1671622
parente970ec356bcf09efc959499f083466517188f8b7
parenta26fd033af23389cd6e17d078007aaec61b5c9c1
Merge branch 'as/doc-for-devs' into maint

* as/doc-for-devs:
  Documentation: move support for old compilers to CodingGuidelines
  SubmittingPatches: add convention of prefixing commit messages