Merge branch 'js/misc-git-gui-stuff' of ../git-gui
authorJunio C Hamano <gitster@pobox.com>
Tue, 9 Jan 2018 19:07:03 +0000 (11:07 -0800)
committerJunio C Hamano <gitster@pobox.com>
Tue, 9 Jan 2018 19:07:03 +0000 (11:07 -0800)
commit02a5f25...956be187bc0f47b20671a76419aebb83
tree2fa418b...9ec2daf764d509589f3d88c14edf52dacopy hash to clipboard (tree)
parent36438dc...9dd2a305dddebd44bf7a65f1a220075bcopy hash to clipboard (diff)
parent76756d6...061076c046973bff2089ad49f5dc2eb6copy hash to clipboard (diff)
git-gui/git-gui.sh
git-gui/lib/diff.tcl