From 9f8b27f110817215846204a9560a13ae3d4b7d3b Mon Sep 17 00:00:00 2001 From: robjtede Date: Sat, 9 Jul 2022 19:32:08 +0000 Subject: [PATCH] =?UTF-8?q?Deploying=20to=20gh-pages=20from=20=20@=20169b2?= =?UTF-8?q?62c6658b9ae332de362c7c719c3a9de6ca1=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 a8a0a89e5..45a4db16d 100644 --- a/settings.html +++ b/settings.html @@ -1,10 +1,8 @@ -Rustdoc settings