Merge branch 'master' of git://repo.or.cz/git-gui into maint
authorJunio C Hamano <junkio@cox.net>
Tue, 6 Mar 2007 08:39:52 +0000 (00:39 -0800)
committerJunio C Hamano <junkio@cox.net>
Tue, 6 Mar 2007 08:39:52 +0000 (00:39 -0800)
commiteec102524fda2df7d2846e865805ca213119bf10
treee60b88fc33ec9f10f175e7f6a55197fefbd103f2
parentc93d88a574220c00954e3694bd78181b8b95249a
parent0b5ea163d21163343579cd6eb9274ccc2190a0fe
Merge branch 'master' of git://repo.or.cz/git-gui into maint

* 'master' of git://repo.or.cz/git-gui:
  git-gui: Make 'make' quieter by default
  git-gui: Remove unnecessary /dev/null redirection.
  git-gui: Don't create empty (same tree as parent) commits.
  git-gui: Add Reset to the Branch menu.
  git-gui: Relocate the menu/transport menu code.
git-gui/Makefile
git-gui/git-gui.sh