Merge branch 'maint'
authorJunio C Hamano <gitster@pobox.com>
Fri, 9 Aug 2013 22:49:55 +0000 (15:49 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 9 Aug 2013 22:49:55 +0000 (15:49 -0700)
commit96cb27a...d2db3c01b8e296a0fbc1da1da09d1412
treebd10253...1e85a9d5f2d7776ada9404051d657475copy hash to clipboard (tree)
parentb48493e...37bb46d352336e2918e37120fe1d352dcopy hash to clipboard (diff)
parenta3bc3d0...0cacf07dbe11b4bfec57554c8bbf1957copy hash to clipboard (diff)
parse-options.h