diff options
author | Joel Challis <git@zvecr.com> | 2023-01-01 02:38:31 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-01 13:38:31 +1100 |
commit | cd1f05a23aee74baa722020c4930f274ff46ea37 (patch) | |
tree | da5ec62861f3bc6749e97ee7831aa2d42e0e66fe /platforms/chibios/platform_deps.h | |
parent | fc2c9ccbc574dc54fd548bcf266dcffe4027773e (diff) |
Use unique name for regen PR branches (#19464)
Diffstat (limited to 'platforms/chibios/platform_deps.h')
0 files changed, 0 insertions, 0 deletions