From 1688368b33fa3bc24913440078c415057d659bb4 Mon Sep 17 00:00:00 2001 From: unvalley Date: Sun, 9 Oct 2022 23:35:52 +0900 Subject: [PATCH 1/2] feat: add Default to Lint groups --- util/gh-pages/index.html | 6 ++++++ util/gh-pages/script.js | 17 +++++++++++++++-- 2 files changed, 21 insertions(+), 2 deletions(-) diff --git a/util/gh-pages/index.html b/util/gh-pages/index.html index c5d602ea3..8dc451332 100644 --- a/util/gh-pages/index.html +++ b/util/gh-pages/index.html @@ -448,6 +448,12 @@ Otherwise, have a great day =^.^= None +
  • + +
  • -
  • - -
  • +
  • + +