2023-10-05 11:55:17 +02:00
|
|
|
<component name="InspectionProjectProfileManager">
|
|
|
|
|
<profile version="1.0">
|
|
|
|
|
<option name="myName" value="Project Default" />
|
|
|
|
|
<inspection_tool class="DuplicatedCode" enabled="true" level="WEAK WARNING" enabled_by_default="true">
|
|
|
|
|
<Languages>
|
2023-10-06 15:21:04 +02:00
|
|
|
<language minSize="268" name="Rust" />
|
2023-10-05 11:55:17 +02:00
|
|
|
</Languages>
|
|
|
|
|
</inspection_tool>
|
|
|
|
|
</profile>
|
|
|
|
|
</component>
|
