From 098725c2e2b943b5b84c4a3a0a9f49e900a51954 Mon Sep 17 00:00:00 2001 From: Quinn Painter Date: Thu, 1 Sep 2022 10:23:15 +0100 Subject: [PATCH] Fix filename of armv4t-none-eabi.md The filename differed from the link in SUMMARY.md, causing it to 404. --- .../platform-support/{armv4t_none_eabi.md => armv4t-none-eabi.md} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename src/doc/rustc/src/platform-support/{armv4t_none_eabi.md => armv4t-none-eabi.md} (100%) diff --git a/src/doc/rustc/src/platform-support/armv4t_none_eabi.md b/src/doc/rustc/src/platform-support/armv4t-none-eabi.md similarity index 100% rename from src/doc/rustc/src/platform-support/armv4t_none_eabi.md rename to src/doc/rustc/src/platform-support/armv4t-none-eabi.md