mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 02:59:33 +07:00
(cherry picked from commit b287fa8789025982b450994e04d3526db11356d7) IJ-CR-148920 GitOrigin-RevId: b5257aa5ebfc48594eea8c5def2e4cf1ea1c9bf2
7 lines
321 B
XML
7 lines
321 B
XML
<profile version="1.0">
|
|
<option name="myName" value="Chained profile" />
|
|
<inspection_tool class="TodoComment" enabled="false" level="INFO" enabled_by_default="true">
|
|
<scope name="file:Main.*" level="INFO" enabled="true" />
|
|
<scope name="file:*.*" level="INFO" enabled="false" />
|
|
</inspection_tool>
|
|
</profile> |