Merge branch 'dl/mergetool-gui-option'
authorJunio C Hamano <gitster@pobox.com>
Tue, 30 Oct 2018 06:43:48 +0000 (15:43 +0900)
committerJunio C Hamano <gitster@pobox.com>
Tue, 30 Oct 2018 06:43:49 +0000 (15:43 +0900)
commit87c15d1...a969e978fb8d04bc486a28025d71e6b2
treeb15912a...55fa5d3c487dca3e25c5d5723e283b6dcopy hash to clipboard (tree)
parent97ffca6...c74e5313a7d503f76fe2a99f13750c69copy hash to clipboard (diff)
parentc217b93...4e8ecbde866bfb09e88f1d7f87bc7b29copy hash to clipboard (diff)
contrib/completion/git-completion.bash