From 1feb0d7c8185ed933731179d92db1204fff849f0 Mon Sep 17 00:00:00 2001 From: xFrednet Date: Thu, 27 May 2021 18:15:20 +0200 Subject: [PATCH] Applied PR suggestions --- util/gh-pages/index.html | 16 +++------------- 1 file changed, 3 insertions(+), 13 deletions(-) diff --git a/util/gh-pages/index.html b/util/gh-pages/index.html index 0168bff2fb06..4714b8e4317f 100644 --- a/util/gh-pages/index.html +++ b/util/gh-pages/index.html @@ -11,7 +11,7 @@ - Clippy's lint list + Clippy Lints @@ -246,7 +246,7 @@