diff options
| author | Erich Eckner <git@eckner.net> | 2017-07-31 20:37:42 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-03-24 21:36:35 +0100 |
| commit | 82681ecb4f443d8ec333848c9c0388acd43c186a (patch) | |
| tree | 28e764c7cd5dbcd7232e3c1248735fb920f335b6 /archbuild.in | |
| parent | bc98dac589ac358bd805f793ad9c1286659b5d73 (diff) | |
| download | devtools32-82681ecb4f443d8ec333848c9c0388acd43c186a.tar.xz | |
remove empty tree if "--verifysource" failed
Diffstat (limited to 'archbuild.in')
0 files changed, 0 insertions, 0 deletions