diff options
author | Erich Eckner <git@eckner.net> | 2019-06-16 15:04:56 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2019-06-16 15:04:56 +0200 |
commit | 4cadc4578b7feaeb1978a539ee95609b6080e9d7 (patch) | |
tree | 3b0c7cf23ab7fe8ffbeda25de8d056fd1a1d2652 /pacman-multilib.conf | |
parent | cb54d96a05564b85a51e6e85f7aae3ab4400b96b (diff) | |
download | devtools-20190616.tar.xz |
archbuild.in: umount -l left-over mounts inside the to-be-deleted chrootv20190616
Diffstat (limited to 'pacman-multilib.conf')
0 files changed, 0 insertions, 0 deletions