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/.github

diff options

author	Erich Eckner <git@eckner.net>	2019-06-16 15:04:56 +0200
committer	Erich Eckner <git@eckner.net>	2020-05-18 08:45:02 +0200
commit	371508e80e71ac0e94de794a52b9b8d679f31a0a (patch)
tree	f38f0e2450cae208cd5db79803ebf36058962404 /.github
parent	8992313292b0d7511b4a2cbd833f1a1c4d84e2bb (diff)

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

Diffstat (limited to '.github')

0 files changed, 0 insertions, 0 deletions