From f4e752841b3a3da7588ec6c1f0cf4a9cce41e1e3 Mon Sep 17 00:00:00 2001 From: robjtede Date: Wed, 21 Sep 2022 23:30:50 +0000 Subject: [PATCH] =?UTF-8?q?Deploying=20to=20gh-pages=20from=20=20@=20a2c5c?= =?UTF-8?q?bd6374b322e6e6c8440029432df81f8f664=20=F0=9F=9A=80?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- settings.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/settings.html b/settings.html index b3c31e83e..f482b5117 100644 --- a/settings.html +++ b/settings.html @@ -1,3 +1,3 @@ -Rustdoc settings

Rustdoc settings

Back
\ No newline at end of file +Rustdoc settings

Rustdoc settings

Back
\ No newline at end of file