Merge branch 'maint'
commit86c3e6ed515d5e3bfca1d515c607db55ba032d71
authorJunio C Hamano <gitster@pobox.com>
Sun, 23 Dec 2012 04:40:07 +0000 (22 20:40 -0800)
committerJunio C Hamano <gitster@pobox.com>
Sun, 23 Dec 2012 04:40:07 +0000 (22 20:40 -0800)
tree69cc0ddc15dc194ddb996d7d9bb0a65ec7d501bb
parentb3cf6f3b8d21b32d88313fc709442b78300975db
parentc2999adcd5a7577ac445c4a9e6dd69d4b12a3664
Merge branch 'maint'
Documentation/Makefile