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 · 33f6b64 · 33f6b64
2 parents e5f3d38 + 098725c
commit 33f6b64
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