From 0c4ab91bd89eee5c485e8293c605e861757b4537 Mon Sep 17 00:00:00 2001 From: robjtede Date: Thu, 21 Jul 2022 01:56:34 +0000 Subject: [PATCH] =?UTF-8?q?Deploying=20to=20gh-pages=20from=20=20@=2065a62?= =?UTF-8?q?52fecc36e848da04dee224fce5e8879e041=20=F0=9F=9A=80?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- settings.html | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/settings.html b/settings.html index 0f6c76034..4a5b67210 100644 --- a/settings.html +++ b/settings.html @@ -1,10 +1,8 @@ -Rustdoc settings