From 77b26d84d70da5d6d7898f667030251484f77bf4 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
<41898282+github-actions[bot]@users.noreply.github.com>
Date: Mon, 11 Sep 2023 19:41:52 +0000
Subject: [PATCH] Deploy to GitHub pages
---
doc/help.html | 2 +-
doc/settings.html | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/doc/help.html b/doc/help.html
index 0873082ec45..318e13f9425 100644
--- a/doc/help.html
+++ b/doc/help.html
@@ -1 +1 @@
-
Rustdoc help You need to enable JavaScript to use keyboard commands or search.
For more information, browse the rustdoc handbook .
\ No newline at end of file
+Rustdoc help You need to enable JavaScript to use keyboard commands or search.
For more information, browse the rustdoc handbook .
\ No newline at end of file
diff --git a/doc/settings.html b/doc/settings.html
index e8fd75e4c81..b8fce89853f 100644
--- a/doc/settings.html
+++ b/doc/settings.html
@@ -1 +1 @@
-Rustdoc settings You need to enable JavaScript be able to update your settings.
\ No newline at end of file
+Rustdoc settings You need to enable JavaScript be able to update your settings.
\ No newline at end of file