archbuild.in: delete old chroot more forcefully - devtools32 - Archlinux32 fork of devtools

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

summary refs log tree commit diff

path: root/lib/common.sh

diff options

author	Erich Eckner <git@eckner.net>	2017-06-27 08:52:16 +0200
committer	Erich Eckner <git@eckner.net>	2018-05-16 16:39:44 +0200
commit	104cf58db038f9af73b276816d88cd16d3b3bad8 (patch)
tree	45379906fe262717d21fdf86e3f1ebb06677f5e9 /lib/common.sh
parent	29dc131967a3361b2846108415d90e27f30823ed (diff)

archbuild.in: delete old chroot more forcefully

Diffstat (limited to 'lib/common.sh')

0 files changed, 0 insertions, 0 deletions