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 /Makefile | |
| parent | cb54d96a05564b85a51e6e85f7aae3ab4400b96b (diff) | |
| download | devtools32-4cadc4578b7feaeb1978a539ee95609b6080e9d7.tar.xz | |
archbuild.in: umount -l left-over mounts inside the to-be-deleted chrootv20190616
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions