From 5cf233788703b74a262caba1ea90e81a9867008b Mon Sep 17 00:00:00 2001 From: "github-merge-queue[bot]" Date: Wed, 27 Nov 2024 18:11:37 +0000 Subject: [PATCH] deploy: 2bad480b4f59cd047626b9b5697eb90fa723ef07 --- help.html | 2 +- settings.html | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/help.html b/help.html index ca7a56a51..47ebcd4c6 100644 --- a/help.html +++ b/help.html @@ -1 +1 @@ -Help

Rustdoc help

Back
\ No newline at end of file +Help

Rustdoc help

Back
\ No newline at end of file diff --git a/settings.html b/settings.html index c834a1cde..8da32efe1 100644 --- a/settings.html +++ b/settings.html @@ -1 +1 @@ -Settings

Rustdoc settings

Back
\ No newline at end of file +Settings

Rustdoc settings

Back
\ No newline at end of file