diff options
| author | Erich Eckner <git@eckner.net> | 2017-07-31 20:37:42 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-07-31 20:37:42 +0200 |
| commit | 49b7939772c1e05dcf60274ba278de6e435dbe48 (patch) | |
| tree | 4fb66876da0ca10a4ff3ddebece19fe72373183e /Makefile | |
| parent | d7a281d9820d11cc0b9b57791b419fc20d3ed68e (diff) | |
| download | devtools-49b7939772c1e05dcf60274ba278de6e435dbe48.tar.xz | |
remove empty tree if "--verifysource" failed
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions