MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

minor IDEA project changes

Browse Source
This commit is contained in:
Pavel Sher
2011-06-22 21:48:37 +02:00
parent 00706481cc
commit 43790c4cb0
1 changed files with 6 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
jps/.idea/inspectionProfiles/profiles_settings.xml
Generated
+6 -5
View File
@@ -3,12 +3,13 @@
<option name="PROJECT_PROFILE" value="Project Default" />
<option name="USE_PROJECT_PROFILE" value="true" />
<version value="1.0" />
<list size="5">
<list size="6">
<item index="0" class="java.lang.String" itemvalue="TYPO" />
<item index="1" class="java.lang.String" itemvalue="INFO" />
<item index="2" class="java.lang.String" itemvalue="WARNING" />
<item index="3" class="java.lang.String" itemvalue="ERROR" />
<item index="4" class="java.lang.String" itemvalue="SERVER PROBLEM" />
<item index="1" class="java.lang.String" itemvalue="WEAK WARNING" />
<item index="2" class="java.lang.String" itemvalue="INFO" />
<item index="3" class="java.lang.String" itemvalue="WARNING" />
<item index="4" class="java.lang.String" itemvalue="ERROR" />
<item index="5" class="java.lang.String" itemvalue="SERVER PROBLEM" />
</list>
</settings>
</component>