Merge 'gitk' into HEAD
commit48e63552e63a3c9cec3337006130ba736e6ea244
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Sat, 10 May 2014 21:56:59 +0000 (10 16:56 -0500)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Sat, 10 May 2014 21:56:59 +0000 (10 16:56 -0500)
treebbb2ca61632d585071ecfca51c61b239a72e1aed
parent790f423a13529bd2e961138f29fef33685f122cc
parent2de8b38113e7395e433cb301927597a0335fcc21
Merge 'gitk' into HEAD
gitk-git/gitk