completion: support `git mergetool --[no-]gui`
authorDenton Liu <liu.denton@gmail.com>
Wed, 24 Oct 2018 16:25:37 +0000 (12:25 -0400)
committerJunio C Hamano <gitster@pobox.com>
Thu, 25 Oct 2018 05:01:16 +0000 (14:01 +0900)
commit57ba181...70e07ba66c55c9af466e95ab9f739680
tree2a5df8d...a5c9b5db4ff83a534f34168f28c1cf1ccopy hash to clipboard (tree)
parent063f2bd...f767dd24bc0a35b5476d8025ee8646c7copy hash to clipboard (diff)
contrib/completion/git-completion.bash