Merge 'git-gui' into HEAD
commit81e62a40ec6914b10b655c0cfb2f8bf84822af7d
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Mon, 17 Feb 2014 18:42:36 +0000 (17 12:42 -0600)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Mon, 17 Feb 2014 18:42:36 +0000 (17 12:42 -0600)
treed7b8608fb53ab50045dc4f935ca785bf21f434ea
parent8df6c3899cbaf3df413d5ba86c98d675606eab5f
parent64fbf750f22fc410a45dda1025b8b3d559d78072
Merge 'git-gui' into HEAD
git-gui/git-gui.sh