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

diff options

author	Erich Eckner <git@eckner.net>	2019-06-16 15:04:56 +0200
committer	Erich Eckner <git@eckner.net>	2020-06-29 10:43:34 +0200
commit	ce4d7e1b68b634e77151411c7a7b229fc1e9cf34 (patch)
tree	7a3f1166833f541a9cf12604323fe1eda5badd9a /contrib/completion/bash
parent	aecc3474e47d8d2fec6be19e9500481bec8a1f4a (diff)

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

Diffstat (limited to 'contrib/completion/bash')

0 files changed, 0 insertions, 0 deletions