From 06132db9252df5539d812f6324d3ae98d13a45d8 Mon Sep 17 00:00:00 2001 From: robjtede Date: Sat, 9 Jul 2022 19:29:33 +0000 Subject: [PATCH] =?UTF-8?q?Deploying=20to=20gh-pages=20from=20=20@=20d4384?= =?UTF-8?q?932ff7f95d210a5aa7c3581fa84eada3161=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, 6 insertions(+), 4 deletions(-) diff --git a/settings.html b/settings.html index 45a4db16d..a8a0a89e5 100644 --- a/settings.html +++ b/settings.html @@ -1,8 +1,10 @@ -Rustdoc settings