Merge branch 'mm/config-local-completion'
authorJunio C Hamano <gitster@pobox.com>
Fri, 15 Feb 2013 00:06:19 +0000 (16:06 -0800)
committerJunio C Hamano <gitster@pobox.com>
Fri, 15 Feb 2013 00:06:19 +0000 (16:06 -0800)
* mm/config-local-completion:
  completion: support 'git config --local'


Trivial merge