chiark / gitweb /
Don't try to delete the branch twice
authorKarl Hasselström <kha@treskal.com>
Sat, 22 Sep 2007 07:58:24 +0000 (09:58 +0200)
committerKarl Hasselström <kha@treskal.com>
Sat, 22 Sep 2007 07:58:24 +0000 (09:58 +0200)
We already delete it in Stack.delete(), so don't do it here too.

Signed-off-by: Karl Hasselström <kha@treskal.com>

No differences found