remove empty tree if "--verifysource" failed - devtools32

Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.

diff options

author	Erich Eckner <git@eckner.net>	2017-07-31 20:37:42 +0200
committer	Erich Eckner <git@eckner.net>	2018-05-16 16:39:44 +0200
commit	e4aafd20dfff71c41b46c86b88d0bb0090e24d89 (patch)
tree	7df4f9e887b2bb0c87507fada36f2f5b76b1a283 /archrm.in
parent	7bc982317f7398c26c62b261f19e9582add6dce8 (diff)

remove empty tree if "--verifysource" failed

Diffstat (limited to 'archrm.in')

0 files changed, 0 insertions, 0 deletions