diff options
| author | Erich Eckner <git@eckner.net> | 2017-07-31 20:37:42 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-05-29 09:02:49 +0200 |
| commit | ab3b8d7830382d0ec461e72b30523732acf57800 (patch) | |
| tree | d3ab313e2e50d61cae235b386e61faf62886f887 /archbuild.in | |
| parent | 088f089b7374aa1b47394bd39cac10d83c11d5c0 (diff) | |
| download | devtools32-ab3b8d7830382d0ec461e72b30523732acf57800.tar.xz | |
remove empty tree if "--verifysource" failed
Diffstat (limited to 'archbuild.in')
0 files changed, 0 insertions, 0 deletions