This repository has been archived on 2024-09-12. You can view files and clone it, but cannot push or open issues or pull requests.
wrench/.idea/inspectionProfiles/Project_Default.xml

7 lines
374 B
XML
Raw Normal View History

2022-11-13 14:55:44 +01:00
<component name="InspectionProjectProfileManager">
<profile version="1.0">
<option name="myName" value="Project Default" />
<inspection_tool class="UnusedReceiverParameter" enabled="false" level="WARNING" enabled_by_default="false" />
<inspection_tool class="UnusedSymbol" enabled="false" level="WARNING" enabled_by_default="false" />
</profile>
</component>