chiark / gitweb /
remove patch from build-stamp
[topgit.git] / tg-delete.sh
index 7f7ede7068d71bd5f50e10686ea87398f26f1b41..ab121c2597c11534ff251944ade590490e151b23 100644 (file)
@@ -44,3 +44,5 @@ branch_empty "$name" || nonempty=1
 
 git update-ref -d "refs/top-bases/$name" "$baserev"
 git update-ref -d "refs/heads/$name" "$branchrev"
+
+# vim:noet