Merge 'git-gui' into HEAD
commit790f423a13529bd2e961138f29fef33685f122cc
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)
tree0879786abe67c93cad7d306ce386a8a59fd0a178
parent9a1e8b50f43903adc1c9a55d41941ecfc6e0f544
parent23b4798ec71074ac779c7b27e2e6a4a54169d6c5
Merge 'git-gui' into HEAD
git-gui/git-gui.sh