diff options
| author | Erich Eckner <git@eckner.net> | 2019-07-11 10:09:20 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-07-11 10:09:20 +0200 |
| commit | 593f865e209831a95a666204e71f5e20fb2df758 (patch) | |
| tree | 19e86145ed76da163f297ba1c703c61a24e50a1e /README.md | |
| parent | 7350a144458a55ac2934bc89368441005bf25c23 (diff) | |
| download | builder-593f865e209831a95a666204e71f5e20fb2df758.tar.xz | |
bin/sanity-check: do not _ping_ the master mirror (ping does not work O.o) - use curl
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions