archbuild.in: umount -l left-over mounts inside the to-be-deleted chroot - 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/doc

diff options

author	Erich Eckner <git@eckner.net>	2019-06-16 15:04:56 +0200
committer	Erich Eckner <git@eckner.net>	2022-06-07 06:38:46 +0200
commit	71336814fb0a459827ce3e47fa397ea51fab0590 (patch)
tree	ff3f1879a616c54b0292e411286ab4261fa6160c /doc
parent	9244767af8e00205b0159da9d751b5043ae31ddd (diff)

archbuild.in: umount -l left-over mounts inside the to-be-deleted chroot

Diffstat (limited to 'doc')

0 files changed, 0 insertions, 0 deletions