diff options
| author | Erich Eckner <git@eckner.net> | 2019-05-24 14:26:38 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-05-24 14:26:38 +0200 |
| commit | 423d088191e509adb7164c4dc48aac764fe158b5 (patch) | |
| tree | 334d175bfcb6f830c84a186b0540e3745b2f76a1 /bin/build-packages | |
| parent | 2b0f8d0f534040e85c1c51b9bf0cf6d635d43714 (diff) | |
| download | builder-423d088191e509adb7164c4dc48aac764fe158b5.tar.xz | |
bin/sanity-check: add check for reachability of master mirror
Diffstat (limited to 'bin/build-packages')
0 files changed, 0 insertions, 0 deletions