From 34c6bb1335457bce88b1fbbf3ecd2f1b30989f2d Mon Sep 17 00:00:00 2001 From: robjtede Date: Sat, 9 Jul 2022 19:20:54 +0000 Subject: [PATCH] =?UTF-8?q?Deploying=20to=20gh-pages=20from=20=20@=20910f9?= =?UTF-8?q?641001c156550ada6338b852cd51a4ef1d8=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