diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-27 08:52:16 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-05-16 16:39:44 +0200 |
| commit | 104cf58db038f9af73b276816d88cd16d3b3bad8 (patch) | |
| tree | 45379906fe262717d21fdf86e3f1ebb06677f5e9 /lib | |
| parent | 29dc131967a3361b2846108415d90e27f30823ed (diff) | |
| download | devtools32-104cf58db038f9af73b276816d88cd16d3b3bad8.tar.xz | |
archbuild.in: delete old chroot more forcefully
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions