mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-06 03:21:12 +07:00
7 lines
319 B
XML
7 lines
319 B
XML
<profile version="1.0">
|
|
<option name="myName" value="Custom name" />
|
|
<inspection_tool class="TodoComment" enabled="true" level="ERROR" enabled_by_default="true">
|
|
<scope name="file:*.java" level="ERROR" enabled="false" />
|
|
<scope name="file:*.*" level="ERROR" enabled="true" />
|
|
</inspection_tool>
|
|
</profile> |