Merge branch 'gp/branch'
commit5c088a22e2892850aacf1411572b2c0b838c28db
authorJunio C Hamano <gitster@pobox.com>
Sat, 16 Jun 2007 08:22:43 +0000 (16 01:22 -0700)
committerJunio C Hamano <gitster@pobox.com>
Sat, 16 Jun 2007 08:22:43 +0000 (16 01:22 -0700)
tree3659507e27cdae07e7bc112f4853ebcaa6bbc052
parent57bd934ea69f0151b729b74fd77629b94920cca7
parentf1eccbab638df66a7d8ec881f6f695514b26f44f
Merge branch 'gp/branch'

* gp/branch:
  git-branch: cleanup config file when deleting branches