From 4e7ed42867cc2b01ddddce867245d688bf4d14f2 Mon Sep 17 00:00:00 2001 From: unvalley Date: Mon, 20 Jun 2022 00:19:08 +0900 Subject: [PATCH] Add description meta tag for lint list --- util/gh-pages/index.html | 1 + 1 file changed, 1 insertion(+) diff --git a/util/gh-pages/index.html b/util/gh-pages/index.html index 4999cce75114..6183089911bd 100644 --- a/util/gh-pages/index.html +++ b/util/gh-pages/index.html @@ -10,6 +10,7 @@ Otherwise, have a great day =^.^= + Clippy Lints