ProjectHentai/nonebot2
6
0
Fork 0
mirror of https://github.com/nonebot/nonebot2.git synced 2025-07-30 01:30:02 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Unignore JetBrains project files

Browse Source
This commit is contained in:
Richard Chien
2018-07-18 22:07:56 +08:00
parent 00fd696dc6
commit 4648d11e3b
8 changed files with 250 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
.idea/inspectionProfiles/Project_Default.xml generated Normal file
View File

@ -0,0 +1,17 @@
<component name="InspectionProjectProfileManager">
<profile version="1.0">
<option name="myName" value="Project Default" />
<inspection_tool class="PyClassHasNoInitInspection" enabled="false" level="WEAK WARNING" enabled_by_default="false" />
<inspection_tool class="PyCompatibilityInspection" enabled="true" level="WARNING" enabled_by_default="true">
<option name="ourVersions">
<value>
<list size="2">
<item index="0" class="java.lang.String" itemvalue="3.6" />
<item index="1" class="java.lang.String" itemvalue="3.7" />
</list>
</value>
</option>
</inspection_tool>
<inspection_tool class="PyTypeCheckerInspection" enabled="false" level="WARNING" enabled_by_default="false" />
</profile>
</component>