diff options
Diffstat (limited to 'src/doc')
| -rw-r--r-- | src/doc/rustc/src/platform-support/armv4t-none-eabi.md (renamed from src/doc/rustc/src/platform-support/armv4t_none_eabi.md) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/src/doc/rustc/src/platform-support/armv4t_none_eabi.md b/src/doc/rustc/src/platform-support/armv4t-none-eabi.md
index cf831e1595e..cf831e1595e 100644
--- a/src/doc/rustc/src/platform-support/armv4t_none_eabi.md
+++ b/src/doc/rustc/src/platform-support/armv4t-none-eabi.md
|