diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-19 05:59:03 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-06-19 05:59:03 +0200 |
| commit | 5591501f54f751cac9944e6fc5003d665d071eed (patch) | |
| tree | 66dbe91795c8ce83dadda44c9bf837146c52b937 /bin/delete-packages | |
| parent | 200bbad6090d54a10b0ce9ec7c0e658d63b5eb25 (diff) | |
| download | builder-5591501f54f751cac9944e6fc5003d665d071eed.tar.xz | |
bin/check-mirrors: run 10 instead of 100 jobs parallel
Diffstat (limited to 'bin/delete-packages')
0 files changed, 0 insertions, 0 deletions