diff options
| author | Joel Challis <git@zvecr.com> | 2021-08-31 00:25:41 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-31 00:25:41 +0100 |
| commit | f2c9e82e5b3887ed28c3a5c68d27c4efaca54201 (patch) | |
| tree | 42e04b09167623a8d3809e3dbd4e435bc877a5a5 /util/update_chibios_mirror.sh | |
| parent | 1e7117317fd8a51f9ca6e926777694b930c9502b (diff) | |
cherry pick tidy up (#14244)
Diffstat (limited to 'util/update_chibios_mirror.sh')
0 files changed, 0 insertions, 0 deletions