uaveiro-leci/1ano/1semestre/iei/projeto/.idea/inspectionProfiles/Project_Default.xml

6 lines
269 B
XML
Raw Normal View History

2023-01-11 18:05:31 +00:00
<component name="InspectionProjectProfileManager">
<profile version="1.0">
<option name="myName" value="Project Default" />
<inspection_tool class="LatexMissingLabel" enabled="false" level="WEAK WARNING" enabled_by_default="false" />
</profile>
</component>