Merge git://repo.or.cz/git-gui
authorJunio C Hamano <gitster@pobox.com>
Thu, 15 May 2008 08:31:15 +0000 (01:31 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 15 May 2008 08:31:15 +0000 (01:31 -0700)
commit1fbb58b4153e90eda08c2b022ee32d90729582e6
treeab3b850ab1c4f7d46be319133193d7fd7c0d6cb2
parent58949bb18a1610d109e64e997c41696e0dfe97c3
parent76bb40cde0e15e8d0e8493abb0bd18a5d6386ad7
Merge git://repo.or.cz/git-gui

* git://repo.or.cz/git-gui:
  git-gui: Delete branches with 'git branch -D' to clear config
  git-gui: Setup branch.remote,merge for shorthand git-pull
  git-gui: Update German translation
  git-gui: Don't use '$$cr master' with aspell earlier than 0.60
  git-gui: Report less precise object estimates for database compression
git-gui/git-gui.sh
git-gui/lib/branch_create.tcl
git-gui/lib/branch_delete.tcl
git-gui/lib/checkout_op.tcl
git-gui/lib/database.tcl
git-gui/lib/spellcheck.tcl
git-gui/po/de.po