diff options
| author | Erich Eckner <git@eckner.net> | 2018-07-08 13:01:52 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-07-08 13:01:52 +0200 |
| commit | e21de46e313c7a498bf8e4793de61c652fca5b44 (patch) | |
| tree | da2086e971998c8f93cfd3542a2d4623926ea1f4 /.gitignore | |
| parent | f9865ea65f4dece0bed5526289136d672e13ef44 (diff) | |
| download | builder-e21de46e313c7a498bf8e4793de61c652fca5b44.tar.xz | |
bin/check-mirrors: do not fail if remote-update fails
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions