diff options
| author | Erich Eckner <git@eckner.net> | 2019-01-15 13:37:38 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-01-15 13:37:38 +0100 |
| commit | 8d58bec9248b49b33394ff1b59dce0d30a7607d7 (patch) | |
| tree | c124a647e8352ab1578267355f7acf374965167b /bin/check-mirrors | |
| parent | 4b649666620ec0be7316bdee1f129765074813ba (diff) | |
| download | builder-8d58bec9248b49b33394ff1b59dce0d30a7607d7.tar.xz | |
bin/db-update -p: consider the stability of the repos
Diffstat (limited to 'bin/check-mirrors')
0 files changed, 0 insertions, 0 deletions