Merge branch 'cb/ttk-style' of git-gui into cb/git-gui-ttk-style
authorJunio C Hamano <gitster@pobox.com>
Tue, 6 Mar 2018 07:48:01 +0000 (23:48 -0800)
committerJunio C Hamano <gitster@pobox.com>
Tue, 6 Mar 2018 07:48:01 +0000 (23:48 -0800)
commit4891961...05c3af1022b1166e8dc5d1fe154a74b7
tree5ae565d...c46c4f1f0f24e7574c3a88a8cb2b0d90copy hash to clipboard (tree)
parent7e31236...652ad9db221511eaf157ce0ef55585d6copy hash to clipboard (diff)
parentf50d505...bf9bb2aa35e629d31943334afc4a9f10copy hash to clipboard (diff)
git-gui/lib/themed.tcl