diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-27 08:52:16 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-05-29 08:55:57 +0200 |
| commit | c29cb80d33315fc6023f68e93239508084a9ec23 (patch) | |
| tree | 468239021d352471897d9ca0c2f8b2c15bed14e0 /makechrootpkg.in | |
| parent | 88e631c6f02aae5ab2c4fbbe1736a8a94fb0b6a5 (diff) | |
| download | devtools32-c29cb80d33315fc6023f68e93239508084a9ec23.tar.xz | |
archbuild.in: delete old chroot more forcefully
Diffstat (limited to 'makechrootpkg.in')
0 files changed, 0 insertions, 0 deletions