diff options
author | Joel Challis <git@zvecr.com> | 2023-09-20 10:27:54 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-09-20 10:27:54 +0100 |
commit | f03c470adf4a1754c7b280232493c3a6045d3088 (patch) | |
tree | 9ee691e9ba5e65ca204fc2da044b41ad777547de /keyboards/xiaomi | |
parent | c2c7b7af7a83667a4a11ba32092da2a21d031f3a (diff) |
Remove ALLOW_WARNINGS and PICO_INTRINSICS_ENABLED (#22085)
Diffstat (limited to 'keyboards/xiaomi')
0 files changed, 0 insertions, 0 deletions