completion: add __git_get_option_value helper
authorThomas Braun <thomas.braun@virtuell-zuhause.de>
Fri, 10 Jun 2016 10:12:05 +0000 (12:12 +0200)
committerJunio C Hamano <gitster@pobox.com>
Fri, 10 Jun 2016 18:54:57 +0000 (11:54 -0700)
commit7c599e9...aaba4a2ef07784858def25ced8512276
tree826c6c7...6bbcacd81cab6fa68acdd41876411b28copy hash to clipboard (tree)
parent21d2a9e...cce6167a3cf69303ad5b35ec819a763bcopy hash to clipboard (diff)
contrib/completion/git-completion.bash