git-gui: allow Ctrl+T to toggle multiple paths
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Tue, 9 Jan 2018 14:33:04 +0000 (15:33 +0100)
committerJunio C Hamano <gitster@pobox.com>
Tue, 9 Jan 2018 19:02:40 +0000 (11:02 -0800)
commit76756d6...061076c046973bff2089ad49f5dc2eb6
treeb83aa55...514b9f2a933604730bff0db6327f2af9copy hash to clipboard (tree)
parent2cd9179...14dc830247a84a602caac42afa0fcf8fcopy hash to clipboard (diff)
git-gui.sh