diff options
author | Erich Eckner <git@eckner.net> | 2019-01-21 12:40:59 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2019-01-21 12:40:59 +0100 |
commit | 6801e5f9e488b5e2e840c4ce518129f59fc04985 (patch) | |
tree | e9d339ca35b1f95336ce481021119fcb1cbed09c /.gitignore | |
parent | 93bb4be796e1daa43721121b1d08eb1aaad698ed (diff) | |
download | builder-6801e5f9e488b5e2e840c4ce518129f59fc04985.tar.xz |
bin/clean-dependencies: show more progress, abort when curl fails
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions