mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-23 18:03:06 +07:00
24 lines
1.0 KiB
XML
24 lines
1.0 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<config>
|
|
<profiles>
|
|
<profile version="1.0" is_locked="false">
|
|
<option name="myName" value="Project Default" />
|
|
<option name="myLocal" value="false" />
|
|
</profile>
|
|
<profile version="1.0" is_locked="false">
|
|
<option name="myName" value="p1" />
|
|
<option name="myLocal" value="false" />
|
|
<inspection_tool class="ConstantConditions" enabled="true" level="WARNING" enabled_by_default="true">
|
|
<scope name="Production" level="WARNING" enabled="true">
|
|
<option name="SUGGEST_NULLABLE_ANNOTATIONS" value="false" />
|
|
<option name="DONT_REPORT_TRUE_ASSERT_STATEMENTS" value="false" />
|
|
</scope>
|
|
<option name="SUGGEST_NULLABLE_ANNOTATIONS" value="true" />
|
|
<option name="DONT_REPORT_TRUE_ASSERT_STATEMENTS" value="true" />
|
|
</inspection_tool>
|
|
</profile>
|
|
</profiles>
|
|
<option name="PROJECT_PROFILE" value="p1" />
|
|
<option name="USE_PROJECT_PROFILE" value="true" />
|
|
<version value="1.0" />
|
|
</config> |