mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 15:09:39 +07:00
7 lines
333 B
XML
7 lines
333 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="glob:path/Some.java" level="ERROR" enabled="false" />
|
|
<scope name="glob:**/*.java" level="ERROR" enabled="true" />
|
|
</inspection_tool>
|
|
</profile> |