Merge 'git-gui' into HEAD
commit2581b787a1907de0209978cda067df8fee40188d
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Thu, 10 Apr 2014 18:53:42 +0000 (10 13:53 -0500)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Thu, 10 Apr 2014 18:53:42 +0000 (10 13:53 -0500)
tree371fbf9a2ffdbf1a917a6e816a4f5461b6f457bd
parentd10e8eccd6db22894a021163be347b6804038374
parent9eff04f674b398952685737004569bd81368cc74
Merge 'git-gui' into HEAD
git-gui/git-gui.sh