From 4b7f14149b7594fc43250e0c1d3889f5d47d9e55 Mon Sep 17 00:00:00 2001 From: Amanieu d'Antras Date: Thu, 30 Mar 2023 12:06:07 +0100 Subject: [PATCH] Fix title for openharmony.md --- src/doc/rustc/src/platform-support/openharmony.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/doc/rustc/src/platform-support/openharmony.md b/src/doc/rustc/src/platform-support/openharmony.md index aa4debfd45a33..a8dcc6443461e 100644 --- a/src/doc/rustc/src/platform-support/openharmony.md +++ b/src/doc/rustc/src/platform-support/openharmony.md @@ -1,4 +1,4 @@ -# `*-linux-ohos*` +# `*-unknown-linux-ohos` **Tier: 3**