From a8e37fb492a8a77ce4e624bb35fd66692448a303 Mon Sep 17 00:00:00 2001
From: fwq <582742538@qq.com>
Date: 星期一, 09 五月 2022 18:07:03 +0800
Subject: [PATCH] redis工具增加list类型操作
---
.idea/inspectionProfiles/Project_Default.xml | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/.idea/inspectionProfiles/Project_Default.xml b/.idea/inspectionProfiles/Project_Default.xml
index f3983d9..2a35e5b 100644
--- a/.idea/inspectionProfiles/Project_Default.xml
+++ b/.idea/inspectionProfiles/Project_Default.xml
@@ -3,7 +3,7 @@
<option name="myName" value="Project Default" />
<inspection_tool class="DuplicatedCode" enabled="true" level="WEAK WARNING" enabled_by_default="true">
<Languages>
- <language minSize="146" name="Java" />
+ <language minSize="158" name="Java" />
</Languages>
</inspection_tool>
</profile>
--
Gitblit v1.8.0