diff options
| author | Joel Challis <git@zvecr.com> | 2021-11-23 01:40:53 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-23 01:40:53 +0000 |
| commit | e73d22d7f1ebbd03cab95b42b01428d3b9a03200 (patch) | |
| tree | 97b8896416f4dba05e2c5020713e859ac71e020f /util/update_chibios_mirror.sh | |
| parent | 6f425c8aa67c0036c002ee3aa24a81887d31ccfe (diff) | |
Ignore exit codes for formatters (#15276)
Diffstat (limited to 'util/update_chibios_mirror.sh')
0 files changed, 0 insertions, 0 deletions