Rollup merge of rust-lang#101271 - QuinnPainter:patch-1, r=Dylan-DPC

Fix filename of armv4t-none-eabi.md The filename differed from the link in SUMMARY.md, causing it to 404.
matthiaskrgr · Sep 1, 2022 · 754cb2a · 754cb2a
2 parents b36fd55 + 098725c
commit 754cb2a
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/.../src/platform-support/armv4t_none_eabi.md → .../src/platform-support/armv4t-none-eabi.md b/.../src/platform-support/armv4t_none_eabi.md → .../src/platform-support/armv4t-none-eabi.md