diff options
| author | Erich Eckner <git@eckner.net> | 2020-06-17 11:51:29 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-06-17 11:51:29 +0200 |
| commit | 7d0e135f0270eb6a05354e2927f4e198d9312078 (patch) | |
| tree | 1755fb7d7789531b3c0e86d92cb003c358255d2e /bin/check-mirrors | |
| parent | b4cb5a7b0021e08fd919d8b287074d3727540928 (diff) | |
| download | builder-7d0e135f0270eb6a05354e2927f4e198d9312078.tar.xz | |
bin/return-assignment: relax the avoid-prioritizing-loops-condition somewhat
Diffstat (limited to 'bin/check-mirrors')
0 files changed, 0 insertions, 0 deletions