Merge branch 'gp/branch'
authorJunio C Hamano <gitster@pobox.com>
Sat, 16 Jun 2007 08:22:43 +0000 (01:22 -0700)
committerJunio C Hamano <gitster@pobox.com>
Sat, 16 Jun 2007 08:22:43 +0000 (01:22 -0700)
* gp/branch:
  git-branch: cleanup config file when deleting branches


Trivial merge