chiark / gitweb /
tg delete: Allow branch delete if we aren't on symbolic HEAD
authorPetr Baudis <pasky@suse.cz>
Fri, 12 Sep 2008 15:56:45 +0000 (17:56 +0200)
committerPetr Baudis <pasky@suse.cz>
Fri, 12 Sep 2008 15:56:45 +0000 (17:56 +0200)
commit6bd23d00997d6c159a783f42a6ded71ac6b97b35
tree6ae28d5959b8cf400f0d9b503c8dd3304cec2c7d
parenta5bf892d0900cbf9949f628c3e05db599341a02c
tg delete: Allow branch delete if we aren't on symbolic HEAD
tg-delete.sh